Tags: haruyama/infer
Tags
[pulse] bump base_fuel to 10 to avoid under-normalising formulas Summary: 10 seems better at no visible CPU cost. Not very scientific as this is only one data point, but neither was choosing 5 in the first place. Measurements on OpenSSL using Pulse.ISL: ``` $ time infer --pulse-only --scheduler callgraph -j 2 --pulse-report-latent-issues --pulse-isl | fuel | user time (s) | under-normalisation | latent issues | |------+---------------+---------------------+---------------| | 5 | 163 | 3074 | 160 | | 10 | 158 | 85 | 160 | | 15 | 174 | 32 | 160 | | 20 | 186 | 20 | 160 | ``` Reviewed By: skcho Differential Revision: D27156497 fbshipit-source-id: 1114b8677
[website] misc. minor improvements Summary: - rename the checker "Uninitialized Variable" to "Uninitialized Value" as this is the name of the issue type - delete timestamp XML comment from the man pages to avoid future git churn when updating the website - counting is hard Reviewed By: martintrojer Differential Revision: D24219165 fbshipit-source-id: cf3057373
[maven-release-plugin] copy for tag infer-annotation-0.18.0
[maven-release-plugin] copy for tag infer-annotation-0.17.2
[maven-release-plugin] copy for tag infer-annotation-0.17.1
[man] fix bogus markup Summary: Replace `$(u,...)` with `$(i,...)` since `$(u,...)` doesn't exist. Cmdliner was emitting a warning at runtime: cmdliner error: Unknown cmdliner markup $(u,...) in "Specify classes where the destructor should be ignored when computing liveness. In other words, assignement to variables of these types (or common wrappers around these types such as $(u,unique_ptr<type>)) will count as dead stores when the variables are not read explicitly by the program. (default: $(i,[]))" Reviewed By: mbouaziz Differential Revision: D15045004 fbshipit-source-id: e03ece4f7
[release] preparing for binary releases Summary: Change the documentation to refer to (upcoming) binary releases. Update the scripts to treat .release differently: now we want to build clang and the plugins even in release mode, as that's just the preparation for the release tarball containing only binaries. Reviewed By: mbouaziz Differential Revision: D8235388 fbshipit-source-id: bfb4ae8
PreviousNext