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 f55f382a78
[inferbo] Support flexible array member
7 years ago
..
bufferoverrun [inferbo] Support flexible array member 7 years ago
conflicts [infer][nullable checker] avoid reporting the nullable violations that are already reported by the biabduction analysis 7 years ago
errors [destructors] Inject destructor calls even if the destructor declaration is empty 7 years ago
frontend [destructors] Inject destructor calls even if the destructor declaration is empty 7 years ago
liveness [destructors] Inject destructor calls even if the destructor declaration is empty 7 years ago
nullable [infer][nullable checker] treat all aliases as not null when one is checked for null 7 years ago
ownership [ownership] report use after destructor 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 [destructors] Inject destructor calls even if the destructor declaration is empty 7 years ago
siof Revert occurence counting change 7 years ago
uninit First extension to uninit inter-procedural analysis 7 years ago