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