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.
jrm d8e74e456c
report leaks on all context, not only activities
10 years ago
..
checkers Complete copyright messages. 10 years ago
comparison Complete copyright messages. 10 years ago
eradicate [Eradicate] Add support for modeling boolean functions that check if the argument is null. 10 years ago
harness Complete copyright messages. 10 years ago
incremental [Infer][incremental] Preventing --changed-only incremental mode from corrupting the future 10 years ago
infer report leaks on all context, not only activities 10 years ago
tracing Complete copyright messages. 10 years ago