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.
7 years ago
..
checkers [infer][nullable checker] take subtyping into account when detecting pointer assignment 7 years ago
crashcontext [checkers] enable biabduction by default + docs and logs improvements 7 years ago
eradicate [cleanup] remove unused java dependencies 7 years ago
infer [infer] use the classname without the package name to compute the bug hash 7 years ago
lab [checkers] declare --resource-leak with the other checkers 7 years ago
litho [experimental] interprocedural should_update analysis 7 years ago
quandary [infer][PR] Fixed namespace for Java globals. 7 years ago
racerd [infer][PR] Fixed namespace for Java globals. 7 years ago
tracing [infer][java] add model for ImmutableList$Builder.add which crashes when given a null value 7 years ago
.inferconfig [checkers] make all models and tests use checkers 7 years ago