You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Radu Grigore eb91d59e40 [infer][PR] Fixed namespace for Java globals. ... Summary: In Java, static variables are distinguished by package/class: the file where they are defined doesn't matter. Fixes #831. Closes https://github.com/facebook/infer/pull/833 Reviewed By: jeremydubreil Differential Revision: D6661240 Pulled By: sblackshear fbshipit-source-id: beeb2f9		7 years ago
..
bufferoverrun	[inferbo] Model for folly::split	7 years ago
conflicts	[infer][nullable checker] avoid reporting the nullable violations that are already reported by the biabduction analysis	7 years ago
errors	Fix unique_ptr model	7 years ago
frontend	[infer][PR] [C/C++] Encode filename into the Procname of global initializers	7 years ago
liveness	[liveness] remove special-casing for destructor reads	7 years ago
nullable	[infer] always run all the pre-analysis passes independently form the checkers that are being run	7 years ago
quandary	[quandary] print index(es) of tainted parameters at each call	7 years ago
racerd	[LockConsistency] Adding conditional ownership to the rest of the formal parameters of constructors.	7 years ago
shared	[infer][PR] Fixed namespace for Java globals.	7 years ago
siof	[infer][PR] Fixed namespace for Java globals.	7 years ago
uninit	First extension to uninit inter-procedural analysis	7 years ago