aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngineInternalChecks.cpp
AgeCommit message (Expand)Author
2009-11-23UndefBranchChecker: more bug reporter helper information emit.Zhongxing Xu
2009-11-23Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilderZhongxing Xu
2009-11-22Don't include a dead header.Benjamin Kramer
2009-11-22Remove UndefinedAssignmentChecker's header.Zhongxing Xu
2009-11-21Make FixedAddressChecker and experimental check; it currently produces a ton ...Ted Kremenek
2009-11-21Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker als...Ted Kremenek
2009-11-21More checker refactoring. Passing undefined values in a message expression i...Ted Kremenek
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek
2009-11-11Remove some stale ErrorNodes variables in GRExprEngine and the old buffer ove...Ted Kremenek
2009-11-11Add undefined array subscript checker.Zhongxing Xu
2009-11-11Reimplement out-of-bound array access checker with the new checker interface.Zhongxing Xu
2009-11-11Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCal...Ted Kremenek
2009-11-11Refactor DereferenceChecker to use only the new Checker API instead ofTed Kremenek
2009-11-09Add check for pointer arithmetic on non-array variables.Zhongxing Xu
2009-11-09Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.Zhongxing Xu
2009-11-09Add checker for CWE-587: Assignment of a Fixed Address to a Pointer.Zhongxing Xu
2009-11-09Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. ThisZhongxing Xu
2009-11-06Make the VLASizeChecker implementation private, and its creation only known t...Ted Kremenek
2009-11-06Make the implementation of DivZeroChecker private.Ted Kremenek
2009-11-06Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range.Zhongxing Xu
2009-11-06static analyzer: refactor checking logic for returning the address of a stack...Ted Kremenek
2009-11-04Catch uses of undefined values when they are used in assignment, thus catchin...Ted Kremenek
2009-11-04Merge ZeroSizedVLAChecker and UndefSizedVLAChecker.Zhongxing Xu
2009-11-03Merge NullDerefChecker.[h,cpp] and UndefDerefChecker.[h,cpp]. They are essen...Ted Kremenek
2009-11-03Pull VLA size checker into its own files. Zhongxing Xu
2009-11-03Pull AttrNonNullChecker into its own files.Zhongxing Xu
2009-11-03Pull UndefinedArgChecker into its own files.Zhongxing Xu
2009-11-03Pull BadCallChecker into its own files.Zhongxing Xu
2009-10-31Move CheckDivZero into its own files.Zhongxing Xu
2009-10-31Move UndefDerefChecker into its own file.Zhongxing Xu
2009-10-30Move NullDerefChecker.h instead a 'Checkers' subdirectory.Ted Kremenek
2009-10-30Move all logic for the null dereference checker from GRExprEngineInternalChec...Ted Kremenek
2009-10-29Fix accidental use of CheckSVal instead of CheckLocation, and add aTed Kremenek
2009-10-29Move NullDeref and UndefDeref into their own checker. Zhongxing Xu
2009-10-22Rename: CheckBadDiv->CheckDivZero.Zhongxing Xu
2009-09-24Shorten the static analyzer diagnostic for 'use of garbage value'.Ted Kremenek
2009-09-16Have divide-by-zero checker not handled undefined denominators. This is hand...Ted Kremenek
2009-09-15Fix static analyzer regression when emitting undefined value warningsTed Kremenek
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-09-03Fix regression introduced in r80786 and reported in PR 4867. We should useTed Kremenek
2009-09-03remove a debug output I introduced in the last commit.Zhongxing Xu
2009-09-02Refactor the check for bad divide into a checker.Zhongxing Xu
2009-09-02Refactor bad callee check into a Checker.Zhongxing Xu
2009-09-02Still use BadArg bugtype in the checker. This saves us implement registerInit...Zhongxing Xu
2009-09-01Sentence-case bug category.Ted Kremenek
2009-08-29Refactor undefined argument checking into a Checker.Zhongxing Xu
2009-08-24ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' forTed Kremenek
2009-08-18Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter'Ted Kremenek
2009-08-06Last step of template cleanup: merge *BuilderImpl to *Builder.Zhongxing Xu