summaryrefslogtreecommitdiff
path: root/test/Analysis
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Taint: add system and popen as undesirable sinks for taintAnna Zaks2012-01-141-0/+8
* [analyzer] Unwrap the pointers when ignoring the const cast.Anna Zaks2012-01-131-0/+3
* [analyzer] RegionStoreManager::getBinding() should not crash whenAnna Zaks2012-01-131-0/+4
* Adjust set of default checkers.Ted Kremenek2012-01-121-1/+0
* [analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek2012-01-121-0/+30
* [analyzer] Add taint transfer by strcpy & others (part 1).Anna Zaks2012-01-121-7/+34
* "This change adds alloca/valloc checks to UnixAPIChecker. It includes a small...Ted Kremenek2012-01-111-0/+38
* Add elidable CXXConstructExpr as block-level expr. It converts an lvalue to a...Zhongxing Xu2012-01-111-641/+657
* Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up in...Ted Kremenek2012-01-111-1/+0
* [analyzer] Add basic format string vulnerability checking.Anna Zaks2012-01-071-1/+15
* [analyzer] Add another tests to taint tester.Anna Zaks2012-01-041-0/+9
* [analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks2012-01-043-18/+85
* Extend ConditionBRVisitor to handle condition variable assignments.Ted Kremenek2012-01-041-0/+214
* Teach the static analyzer to not treat XPC types as CF types.Ted Kremenek2012-01-041-0/+16
* Enhance UnixAPIChecker to also warn about zero-sized allocations to calloc() ...Ted Kremenek2012-01-031-0/+32
* Add initial version of checker to check if virtual member functions are calle...Ted Kremenek2012-01-031-0/+53
* Colorize and condense CFG pretty-printing.Ted Kremenek2011-12-224-1468/+1398
* Fix typos in analyzer diagnostics pointed out by Matt Beaumont-Gay and Robert...Ted Kremenek2011-12-221-1/+1
* Fix regression in LiveVariables when reasoning about variables captured by bl...Ted Kremenek2011-12-221-1/+13
* [analyzer] Do not invalidate arguments when the parameter'sAnna Zaks2011-12-205-8/+79
* Fix inversion of static analyzer path diagnostics for path conditions.Ted Kremenek2011-12-201-181/+309
* test/Analysis: fix error messageDylan Noblesmith2011-12-181-1/+1
* [analyzer] Fixup for r146793. Add tests for atol and atoll.Anna Zaks2011-12-171-1/+12
* [analyzer] Add support for taint flowing through a function (atoi).Anna Zaks2011-12-171-0/+16
* [analyzer] Better stdin support.Anna Zaks2011-12-161-4/+32
* Add support for matching one or more (aka regex +) diagnostic messages with -...Anna Zaks2011-12-151-33/+33
* [analyzer] Ensure that the order in which checker callbacks are calledAnna Zaks2011-12-151-1/+1
* Modify how the -verify flag works. Currently, the verification string andRichard Trieu2011-12-156-17/+17
* [analyzer] Disable verification step on the failing test.Anna Zaks2011-12-141-1/+1
* [analyzer] Re-enable the test which was failing on one of the bots.Anna Zaks2011-12-141-0/+46
* [analyzer] Revert the taint test, which is failing on one of the bots for tim...Anna Zaks2011-12-141-46/+0
* [analyzer] Treat stdin as a source of taint.Anna Zaks2011-12-141-11/+18
* [analyzer] Mark output of fscanf and fopen as tainted.Anna Zaks2011-12-141-0/+35
* [analyzer] Mark getenv output as tainted.Anna Zaks2011-12-141-0/+10
* [analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks2011-12-112-3/+10
* Check that arguments to a scanf call match the format specifier,Hans Wennborg2011-12-102-3/+4
* [analyzer] Fix inconsistency on when SValBuilder assumes that 2Anna Zaks2011-12-091-0/+15
* [analyzer] If memory region is tainted mark data as tainted.Anna Zaks2011-12-081-1/+24
* Add an experimental MallocSizeofChecker, which reports inconsistenciesPeter Collingbourne2011-12-081-0/+27
* [analyzer] Propagate taint through MemRegions.Anna Zaks2011-12-071-4/+15
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-0/+8
* [analyzer] Simplify the expected-warning statement.Anna Zaks2011-12-051-1/+1
* [analyzer] Add a missing taint tester warning.Anna Zaks2011-12-051-1/+1
* [analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks2011-12-051-4/+2
* [analyzer] Add a debug checker to test for tainted data.Anna Zaks2011-12-051-0/+15
* [analyzer] Make KeychainAPI checker less aggressive. radar://10508828Anna Zaks2011-12-011-1/+17
* Fix typo.Ted Kremenek2011-12-011-1/+1
* When analyzing a C++ method (without a specific caller), assume 'this' is non...Ted Kremenek2011-12-011-0/+14
* Per an offline conversation with John McCall, have StmtPrinter actually print...Ted Kremenek2011-11-301-6/+7
* Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac...Ted Kremenek2011-11-291-0/+8
View Lorry Controller Status