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.
Sam Blackshear 169df0fe80
[thread-safety] infer accesses that need to be safe from lock usage
7 years ago
..
checkers various minor improvements 7 years ago
crashcontext [CLI] options to unset default checkers and to print active checkers 8 years ago
eradicate [infer][checkers] run the Java biabduction tests using the checkers framework 7 years ago
harness various minor improvements 7 years ago
infer various minor improvements 7 years ago
lab [checkers] declare --resource-leak with the other checkers 7 years ago
quandary various minor improvements 7 years ago
threadsafety [thread-safety] infer accesses that need to be safe from lock usage 7 years ago
tracing various minor improvements 7 years ago
.inferconfig [config] add option to force deletion of results dir 7 years ago