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.
Sungkeun Cho ebddb14206
[inferbo] Prune by assert
7 years ago
..
bufferoverrun [inferbo] Prune by assert 7 years ago
conflicts [infer][nullable checker] avoid reporting the nullable violations that are already reported by the biabduction analysis 7 years ago
errors [bi-abduction] Do not abduce reference parameters constraints for recursive calls 7 years ago
frontend [clang frontend] placement new 7 years ago
liveness [liveness] remove special-casing for destructor reads 7 years ago
nullable [infer][nullable checker] treat all aliases as not null when one is checked for null 7 years ago
quandary [quandary] report gflags to shell exec, but not file or url creation 7 years ago
racerd [racerd] new lock domain 7 years ago
shared [clang] add id -> pvar bindings to C++ lambda capture 7 years ago
siof Revert occurence counting change 7 years ago
uninit First extension to uninit inter-procedural analysis 7 years ago