summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngineInternalChecks.h
Commit message (Expand)AuthorAgeFilesLines
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-44/+0
* Refactor OSAtomic evaluation logic into OSAtomicChecker.Zhongxing Xu2009-12-091-1/+1
* Refactor builtin function evaluation into a checker.Zhongxing Xu2009-12-081-0/+1
* Add EvalCallExpr interface to checker, and migrate the no-return functionZhongxing Xu2009-12-071-0/+2
* Refactor undefined result checker. This is the last one.Zhongxing Xu2009-11-241-0/+1
* rename UndefinedArgChecker to CallAndMessageChecker.Zhongxing Xu2009-11-241-1/+1
* Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilderZhongxing Xu2009-11-231-0/+1
* Remove UndefinedAssignmentChecker's header.Zhongxing Xu2009-11-221-0/+1
* Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker als...Ted Kremenek2009-11-211-1/+0
* Add undefined array subscript checker.Zhongxing Xu2009-11-111-0/+1
* Reimplement out-of-bound array access checker with the new checker interface.Zhongxing Xu2009-11-111-0/+1
* Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCal...Ted Kremenek2009-11-111-0/+3
* Refactor DereferenceChecker to use only the new Checker API instead ofTed Kremenek2009-11-111-0/+2
* Add check for pointer arithmetic on non-array variables.Zhongxing Xu2009-11-091-0/+1
* Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.Zhongxing Xu2009-11-091-0/+1
* Add checker for CWE-587: Assignment of a Fixed Address to a Pointer.Zhongxing Xu2009-11-091-1/+2
* Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. ThisZhongxing Xu2009-11-091-1/+1
* Make the VLASizeChecker implementation private, and its creation only known t...Ted Kremenek2009-11-061-0/+1
* Make the implementation of DivZeroChecker private.Ted Kremenek2009-11-061-2/+3
* Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range.Zhongxing Xu2009-11-061-0/+1
* static analyzer: refactor checking logic for returning the address of a stack...Ted Kremenek2009-11-061-0/+26
OpenPOWER on IntegriCloud