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.

Jules Villard 4c4bb84e2c [liveness] blacklist of dangerous classes ... Summary: Add an option to specify some classes that we really want to warn about with the liveness checker, even when they appear used because of the implicit destructor call inserted by the compiler. Reviewed By: mbouaziz Differential Revision: D13991129 fbshipit-source-id: 7fafdba84		6 years ago
..
bufferoverrun	[inferbo] Update reachability conditions at function call	6 years ago
conflicts	[infer][nullsafe] rename the option to run the Nullsafe checker	6 years ago
errors	[clang] do not add extra dereferences	6 years ago
frontend	[SIL][preanalysis] add call flag for functions treating first formal as return	6 years ago
linters	[kill -a][1/4] stop using `-a foo` in the infer repo	6 years ago
linters-for-test-only	[Config] support arbitrary named symbol lists	6 years ago
liveness	[liveness] blacklist of dangerous classes	6 years ago
nullable	[nullsafe] merge the option names	6 years ago
ownership	[ownership] make heuristic for reporting on lambdas more shareable	6 years ago
pulse	[inferbo] Add model of String::length	6 years ago
quandary	quandary: Detect flows to EnvironmentChange that includes putenv only	6 years ago
quandaryBO	[inferbo] Revise pp of Symb.partial	6 years ago
racerd	[kill -a][1/4] stop using `-a foo` in the infer repo	6 years ago
shared	[clang] do not add extra dereferences	6 years ago
siof	[kill -a][1/4] stop using `-a foo` in the infer repo	6 years ago
starvation	[starvation] improve 2-way deadlock reports	6 years ago
uninit	[Uninit][7/13] Add new tests	6 years ago