1. 7c9624b Refactor builtin function evaluation into a checker. by Zhongxing Xu · 15 years ago
  2. 935ef90 Add EvalCallExpr interface to checker, and migrate the no-return function by Zhongxing Xu · 15 years ago
  3. 668399b Refactor undefined result checker. This is the last one. by Zhongxing Xu · 15 years ago
  4. d02174c rename UndefinedArgChecker to CallAndMessageChecker. by Zhongxing Xu · 15 years ago
  5. 0835e4c Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder by Zhongxing Xu · 15 years ago
  6. c3372e0 Remove UndefinedAssignmentChecker's header. by Zhongxing Xu · 15 years ago
  7. c79d7d4 Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. by Ted Kremenek · 15 years ago
  8. d694485 Add undefined array subscript checker. by Zhongxing Xu · 15 years ago
  9. 58e689f Reimplement out-of-bound array access checker with the new checker interface. by Zhongxing Xu · 15 years ago
  10. f493f49 Remove public headers for UndefinedArgChecker, AttrNonNullChecker, and BadCallChecker, making their implementations completely private. by Ted Kremenek · 15 years ago
  11. b4b817d Refactor DereferenceChecker to use only the new Checker API instead of by Ted Kremenek · 15 years ago
  12. ede7eb2 Add check for pointer arithmetic on non-array variables. by Zhongxing Xu · 15 years ago
  13. 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 15 years ago
  14. b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
  15. 3ce2dc3 Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This by Zhongxing Xu · 15 years ago
  16. 84b3595 Make the VLASizeChecker implementation private, and its creation only known to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 15 years ago
  17. 36df58a Make the implementation of DivZeroChecker private. by Ted Kremenek · 15 years ago
  18. ceeb02d Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. by Zhongxing Xu · 15 years ago
  19. 1053d24 static analyzer: refactor checking logic for returning the address of a stack variable or a garbage by Ted Kremenek · 15 years ago