| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Add clang-cc option "--analyzer-experimental-internal-checks". This | Ted Kremenek | 2009-11-13 | 1 | -7/+0 |
| * | Remove some stale ErrorNodes variables in GRExprEngine and the old buffer ove... | Ted Kremenek | 2009-11-11 | 1 | -12/+0 |
| * | Add undefined array subscript checker. | Zhongxing Xu | 2009-11-11 | 1 | -0/+1 |
| * | Reimplement out-of-bound array access checker with the new checker interface. | Zhongxing Xu | 2009-11-11 | 1 | -0/+1 |
| * | Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCal... | Ted Kremenek | 2009-11-11 | 1 | -6/+3 |
| * | Refactor DereferenceChecker to use only the new Checker API instead of | Ted Kremenek | 2009-11-11 | 1 | -3/+1 |
| * | Add check for pointer arithmetic on non-array variables. | Zhongxing Xu | 2009-11-09 | 1 | -0/+1 |
| * | Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. | Zhongxing Xu | 2009-11-09 | 1 | -0/+2 |
| * | Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. | Zhongxing Xu | 2009-11-09 | 1 | -1/+1 |
| * | Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This | Zhongxing Xu | 2009-11-09 | 1 | -0/+1 |
| * | Make the VLASizeChecker implementation private, and its creation only known t... | Ted Kremenek | 2009-11-06 | 1 | -10/+8 |
| * | Make the implementation of DivZeroChecker private. | Ted Kremenek | 2009-11-06 | 1 | -6/+8 |
| * | Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. | Zhongxing Xu | 2009-11-06 | 1 | -0/+1 |
| * | static analyzer: refactor checking logic for returning the address of a stack... | Ted Kremenek | 2009-11-06 | 1 | -75/+3 |
| * | Catch uses of undefined values when they are used in assignment, thus catchin... | Ted Kremenek | 2009-11-04 | 1 | -8/+10 |
| * | Merge ZeroSizedVLAChecker and UndefSizedVLAChecker. | Zhongxing Xu | 2009-11-04 | 1 | -2/+1 |
| * | Merge NullDerefChecker.[h,cpp] and UndefDerefChecker.[h,cpp]. They are essen... | Ted Kremenek | 2009-11-03 | 1 | -2/+1 |
| * | Pull VLA size checker into its own files. | Zhongxing Xu | 2009-11-03 | 1 | -61/+4 |
| * | Pull AttrNonNullChecker into its own files. | Zhongxing Xu | 2009-11-03 | 1 | -90/+2 |
| * | Pull UndefinedArgChecker into its own files. | Zhongxing Xu | 2009-11-03 | 1 | -37/+2 |
| * | Pull BadCallChecker into its own files. | Zhongxing Xu | 2009-11-03 | 1 | -43/+2 |
| * | Move CheckDivZero into its own files. | Zhongxing Xu | 2009-10-31 | 1 | -70/+2 |
| * | Move UndefDerefChecker into its own file. | Zhongxing Xu | 2009-10-31 | 1 | -50/+2 |
| * | Move NullDerefChecker.h instead a 'Checkers' subdirectory. | Ted Kremenek | 2009-10-30 | 1 | -1/+1 |
| * | Move all logic for the null dereference checker from GRExprEngineInternalChec... | Ted Kremenek | 2009-10-30 | 1 | -46/+1 |
| * | Fix accidental use of CheckSVal instead of CheckLocation, and add a | Ted Kremenek | 2009-10-29 | 1 | -2/+2 |
| * | Move NullDeref and UndefDeref into their own checker. | Zhongxing Xu | 2009-10-29 | 1 | -66/+104 |
| * | Rename: CheckBadDiv->CheckDivZero. | Zhongxing Xu | 2009-10-22 | 1 | -7/+8 |
| * | Shorten the static analyzer diagnostic for 'use of garbage value'. | Ted Kremenek | 2009-09-24 | 1 | -2/+2 |
| * | Have divide-by-zero checker not handled undefined denominators. This is hand... | Ted Kremenek | 2009-09-16 | 1 | -26/+18 |
| * | Fix static analyzer regression when emitting undefined value warnings | Ted Kremenek | 2009-09-15 | 1 | -9/+16 |
| * | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek | 2009-09-11 | 1 | -10/+66 |
| * | Remove tabs, and whitespace cleanups. | Mike Stump | 2009-09-09 | 1 | -103/+103 |
| * | Fix regression introduced in r80786 and reported in PR 4867. We should use | Ted Kremenek | 2009-09-03 | 1 | -2/+7 |
| * | remove a debug output I introduced in the last commit. | Zhongxing Xu | 2009-09-03 | 1 | -2/+0 |
| * | Refactor the check for bad divide into a checker. | Zhongxing Xu | 2009-09-02 | 1 | -10/+68 |
| * | Refactor bad callee check into a Checker. | Zhongxing Xu | 2009-09-02 | 1 | -14/+32 |
| * | Still use BadArg bugtype in the checker. This saves us implement registerInit... | Zhongxing Xu | 2009-09-02 | 1 | -17/+8 |
| * | Sentence-case bug category. | Ted Kremenek | 2009-09-01 | 1 | -1/+1 |
| * | Refactor undefined argument checking into a Checker. | Zhongxing Xu | 2009-08-29 | 1 | -2/+45 |
| * | ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for | Ted Kremenek | 2009-08-24 | 1 | -2/+7 |
| * | Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter' | Ted Kremenek | 2009-08-18 | 1 | -5/+8 |
| * | Last step of template cleanup: merge *BuilderImpl to *Builder. | Zhongxing Xu | 2009-08-06 | 1 | -1/+1 |
| * | As GRState seems general enough, it is time to merge some template classes | Zhongxing Xu | 2009-08-06 | 1 | -24/+24 |
| * | Fix regression in attribute 'nonnull' checking when a transition node | Ted Kremenek | 2009-07-28 | 1 | -1/+1 |
| * | Mark destructor of Checker virtual. | Ted Kremenek | 2009-07-24 | 1 | -0/+1 |
| * | Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. | Ted Kremenek | 2009-07-22 | 1 | -8/+8 |
| * | Migrate the path-sensitive checking of 'nonnull' arguments over to the new | Ted Kremenek | 2009-07-22 | 1 | -31/+63 |
| * | Move bug reporter "visitors" to their own file and make them part of the public | Ted Kremenek | 2009-07-22 | 1 | -326/+1 |
| * | Remove ASTContext::isObjCObjectPointerType(). | Steve Naroff | 2009-07-16 | 1 | -2/+2 |
