Age | Commit message (Expand) | Author |
2010-07-23 | Added an path-sensitive unreachable code checker to the experimental analyzer... | Tom Care |
2010-07-23 | Add FILE* leak check to StreamChecker. Patch by Lei Zhang. | Zhongxing Xu |
2010-07-22 | This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. | Zhongxing Xu |
2010-07-19 | fix test case. | Zhongxing Xu |
2010-07-19 | Add double close check to StreamChecker. Patch by Lei Zhang. | Zhongxing Xu |
2010-07-17 | Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by ... | Ted Kremenek |
2010-07-17 | Fix APFloat assertion failure in IdempotentOperationChecker resulting in having | Ted Kremenek |
2010-07-16 | Improved false positive rate for the idempotent operations checker and moved ... | Tom Care |
2010-07-11 | fix PR7280 by making the warning on code like this: | Chris Lattner |
2010-07-08 | Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero... | Jordy Rose |
2010-07-07 | Add memcmp() and bcmp() to CStringChecker. These check for valid access to th... | Jordy Rose |
2010-07-07 | Cleanup on CStringChecker and its associated tests. Also check for null argum... | Jordy Rose |
2010-07-07 | implement PR7569, warning about assignment to null, which | Chris Lattner |
2010-07-06 | Fix idempotent operations test command line arguments. | Tom Care |
2010-07-06 | Add a new path-sensitive checker for functions in <string.h>, for both null-t... | Jordy Rose |
2010-07-06 | Added a path-sensitive idempotent operation checker (-analyzer-idempotent-ope... | Tom Care |
2010-07-06 | Oops, tabs --> spaces in test. | Jordy Rose |
2010-07-06 | Improve NULL-checking for CFRetain/CFRelease. We now remember that the argume... | Jordy Rose |
2010-07-05 | Support sizeof for VLA expressions (sizeof(someVLA)). sizeof(int[n]) still un... | Jordy Rose |
2010-07-05 | Track extents for VLAs. | Jordy Rose |
2010-07-04 | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose |
2010-07-01 | Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ... | Ted Kremenek |
2010-06-30 | Fix rdar://8139785 "implement warning on dead expression in comma operator" | Argyrios Kyrtzidis |
2010-06-30 | Pointers casted as integers still count as locations to SimpleSValuator, so d... | Jordy Rose |
2010-06-28 | Pointer comparisons (and pointer-pointer subtraction). Basically filling in S... | Jordy Rose |
2010-06-27 | Implicitly compare symbolic expressions to zero when they're being used as co... | Jordy Rose |
2010-06-25 | When a constant size array is casted to another type, its length should be sc... | Jordy Rose |
2010-06-25 | Add dead stores C++ test case that was previously asserting due to an | Ted Kremenek |
2010-06-25 | Fix -analyze-display-progress (once again), this time with an additional regr... | Ted Kremenek |
2010-06-25 | A bug I've introduced in STDIN handling surfaced a few broken tests, fix them. | Benjamin Kramer |
2010-06-24 | Add check for illegal whence argument of fseek. | Zhongxing Xu |
2010-06-24 | Don't depend on system headers in clang -cc1 tests. | Benjamin Kramer |
2010-06-23 | Revert "Tweak tests to hopefully fix include of limits.h on win32.", tweak fa... | Daniel Dunbar |
2010-06-23 | Tweak tests to hopefully fix include of limits.h on win32. | Daniel Dunbar |
2010-06-22 | Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixe... | Ted Kremenek |
2010-06-21 | When folding additive operations, convert the values to the same type. When a... | Jordy Rose |
2010-06-21 | If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). | Jordy Rose |
2010-06-20 | Adds analyzer support for idempotent and tautological binary operations such ... | Jordy Rose |
2010-06-20 | Casting to void* or any other pointer-to-sizeless type (e.g. function pointer... | Jordy Rose |
2010-06-18 | Fold additive constants, and support comparsions of the form $sym+const1 <> c... | Jordy Rose |
2010-06-18 | Add null stream check for more APIs. | Zhongxing Xu |
2010-06-17 | Tweak stack address checker to report multiple cases where globals may refere... | Ted Kremenek |
2010-06-17 | Rework StackAddrLeakChecker to find stores of stack memory addresses to globa... | Ted Kremenek |
2010-06-16 | Add StreamChecker. This checker models and checks stream manipulation functions. | Zhongxing Xu |
2010-06-15 | Change AnalysisConsumer to analyze functions created by instantiantiating a m... | Ted Kremenek |
2010-06-09 | Merge StackAddrLeakChecker and ReturnStackAddressChecker. | Zhongxing Xu |
2010-06-09 | Directly compare the StackFrameContext. This greatly simplifies logic and | Zhongxing Xu |
2010-06-08 | Add a checker check if a global variable holds a local variable's address after | Zhongxing Xu |
2010-06-07 | Catch free()s on non-regions and regions known to be not from malloc(), by ch... | Jordy Rose |
2010-06-04 | Assignments to reference variables shouldn't kill the variable. | Jordy Rose |