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