Stream-related tests - Githubissues

facebook / infer

A static analyzer for Java, C, C++, and Objective-C

http://fbinfer.com/

MIT License

14.83k stars 2k forks source link

Closed pkesseli closed 1 year ago

pkesseli commented 1 year ago

Add Stream-related false negative tests.

copyBad: works as expected
copyBadFN: passing the InputStream to a method and reading from there leads to a false negative.
copyBad1FN: Using read-style operations does not propagate the taint to the target array.
systemArrayCopyBadFN: System.arraycopy does not propagate the taint to the target array.

facebook-github-bot commented 1 year ago

@geralt-encore has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

facebook-github-bot commented 1 year ago

@pkesseli has updated the pull request. You must reimport the pull request before landing.

facebook-github-bot commented 1 year ago

@geralt-encore has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

facebook-github-bot commented 1 year ago

@geralt-encore merged this pull request in facebook/infer@b22202a5dfd638d22d011777abebba3d75098230.