summaryrefslogtreecommitdiff
path: root/test/Analysis
Commit message (Expand)AuthorAgeFilesLines
* Teach VariadicMethodTypeChecker to not crash when processing methods declared...Ted Kremenek2011-04-121-0/+9
* ArrayBoundCheckerV2: don't arbitrarily warn about indexing before the 0-index...Ted Kremenek2011-04-121-0/+9
* This patch adds modeling of strcmp() to the CString checker. Validates inputs...Lenny Maiorani2011-04-121-0/+86
* static analyzer: invalidate by-ref arguments passed to constructors in a 'new...Ted Kremenek2011-04-121-0/+16
* Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...Ted Kremenek2011-04-121-0/+19
* RegionStoreManager::invalidateRegions: treat classes the same as structs.Ted Kremenek2011-04-121-0/+14
* Teach GRState::getSValAsScalarOrLoc() about C++ references.Ted Kremenek2011-04-121-0/+10
* C++ static analysis: also invalidate fields of objects that are the callees i...Ted Kremenek2011-04-111-0/+33
* strcat() and strncat() model additions to CStringChecker.Lenny Maiorani2011-04-091-0/+158
* Start overhauling static analyzer support for C++ constructors. The inlining...Ted Kremenek2011-04-081-0/+25
* When updating the retain summary based on {cf,ns}_consumed attributes,John McCall2011-04-061-0/+7
* Add security syntax checker for strcat() which causes the Static Analyzer to ...Lenny Maiorani2011-04-051-0/+24
* Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numero...Ted Kremenek2011-04-041-87/+61
* Change test/Analysis/idempotent-operations.c to output the .plist file in the...Argyrios Kyrtzidis2011-04-041-1/+1
* Fix RegionStore bug when doing a field load whose parent is also a field assi...Ted Kremenek2011-04-031-0/+25
* Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn...Ted Kremenek2011-04-021-0/+19
* Add security syntax checker for strcpy() which causes the Static Analyzer to ...Lenny Maiorani2011-03-311-0/+37
* Adding Static Analyzer checker for mempcpy().Lenny Maiorani2011-03-311-0/+101
* Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn...Ted Kremenek2011-03-311-0/+14
* Teach static analyzer about the basics of handling new[]. We still don't sim...Ted Kremenek2011-03-311-0/+8
* Begin reworking static analyzer support for C++ method calls. The current lo...Ted Kremenek2011-03-303-0/+18
* Don't add a symbolic region for 'this' if the member function is static.Anders Carlsson2011-03-261-0/+11
* Rework checker "packages" and groups to be more hierarchical.Ted Kremenek2011-03-2430-64/+64
* Teach VariadicMethodTypeChecker about pointers attributed as 'NSObject'.Ted Kremenek2011-03-171-4/+7
* Teach VariadicMethodTypeChecker that CF references are valid arguments to var...Ted Kremenek2011-03-171-1/+3
* Tweak RegionStore's handling of lazy compound values to use the 'Default' ver...Ted Kremenek2011-03-171-0/+20
* VariadicMethodTypeChecker: don't warn for null pointer constants passed to va...Ted Kremenek2011-03-161-0/+1
* Remove bogus assertion in IdempotentOperationsChecker.Ted Kremenek2011-03-151-0/+12
* Remove old UninitializedValues analysis.Ted Kremenek2011-03-152-83/+0
* Tweak VariadicMethodTypeChecker to only create one ExplodedNode when issuing ...Ted Kremenek2011-03-141-1/+1
* Add an Objective-C checker that checks that arguments passed to some variadic...Anders Carlsson2011-03-131-0/+77
* Fix CFG assertion failure reported in PR 9467. This was due to recent change...Ted Kremenek2011-03-131-1/+14
* XFAIL this on windows where <vector> contains surprises.Jakob Stoklund Olesen2011-03-131-0/+1
* Tweak test to hopefully appease FreeBSD buildbot.Ted Kremenek2011-03-121-1/+1
* Remove stray output file.Ted Kremenek2011-03-121-7075/+0
* Re-enable the IdempotentOperations checker for --analyze, and put it and the ...Ted Kremenek2011-03-1217-43/+7119
* Add initial version of "IteratorsChecker", a checker to find misues uses of C...Ted Kremenek2011-03-121-0/+104
* static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...Ted Kremenek2011-03-081-0/+17
* Make the Objective-C checker look for subclasses of NSString instead of just ...Anders Carlsson2011-03-081-0/+7
* Fix tests to account for new warning "expected ';' at end of declaration list...Carl Norum2011-03-071-2/+2
* Teach CFGBuilder to prune trivially unreachable case statements.Ted Kremenek2011-03-011-0/+19
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-28107-219/+219
* Move test/SemaObjC/method-arg-decay.m -> test/Analysis/method-arg-decay.mArgyrios Kyrtzidis2011-02-281-0/+98
* [analyzer] Run the ExprEngine depending on the CheckerManager having path-sen...Argyrios Kyrtzidis2011-02-284-12/+12
* [analyzer] The current UninitializedValuesChecker will go away, remove '-warn...Argyrios Kyrtzidis2011-02-282-0/+4
* [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis2011-02-2815-31/+31
* [analzyer] Migrate CallAndMessageChecker to CheckerV2.Argyrios Kyrtzidis2011-02-285-13/+13
* [analyzer] Migrate AttrNonNullChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-4/+4
* [analyzer] Migrate ReturnUndefChecker to CheckerV2.Argyrios Kyrtzidis2011-02-282-3/+3
* [analyzer] Migrate UndefinedAssignmentChecker to CheckerV2.Argyrios Kyrtzidis2011-02-282-2/+2
View Lorry Controller Status