search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.8k stars 2k forks source link

[taint][java] add an example of false negatives with maps #1764

Closed jeremydubreil closed 1 year ago

jeremydubreil commented 1 year ago

This pull request adds an example of taint flow false negative involving maps.

facebook-github-bot commented 1 year ago

@jvillard 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

@jvillard 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

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

facebook-github-bot commented 1 year ago

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

jvillard commented 1 year ago

Thanks, Jeremy!

facebook-github-bot commented 1 year ago

@jvillard merged this pull request in facebook/infer@9d469330b635fbe9a7dde49585c7ea2de180c2c4.