| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | We can remove this file now. | Zhongxing Xu | 2009-11-24 | 1 | -30/+0 |
| * | Refactor undefined result checker. This is the last one. | Zhongxing Xu | 2009-11-24 | 1 | -140/+0 |
| * | Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into | Zhongxing Xu | 2009-11-24 | 1 | -68/+0 |
| * | rename UndefinedArgChecker to CallAndMessageChecker. | Zhongxing Xu | 2009-11-24 | 1 | -1/+1 |
| * | UndefBranchChecker: more bug reporter helper information emit. | Zhongxing Xu | 2009-11-23 | 1 | -90/+0 |
| * | Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder | Zhongxing Xu | 2009-11-23 | 1 | -1/+1 |
| * | Don't include a dead header. | Benjamin Kramer | 2009-11-22 | 1 | -1/+0 |
| * | Remove UndefinedAssignmentChecker's header. | Zhongxing Xu | 2009-11-22 | 1 | -2/+1 |
| * | Make FixedAddressChecker and experimental check; it currently produces a ton ... | Ted Kremenek | 2009-11-21 | 1 | -1/+0 |
| * | Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker als... | Ted Kremenek | 2009-11-21 | 1 | -30/+0 |
| * | More checker refactoring. Passing undefined values in a message expression i... | Ted Kremenek | 2009-11-21 | 1 | -39/+0 |
| * | 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 |
