summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* [analyzer] Make Malloc aware of inter-procedural execution + basicAnna Zaks2012-02-201-2/+7
* [analyzer] Fix another false positive in the Malloc Checker, by makingAnna Zaks2012-02-171-0/+2
* [analyzer] Malloc Checker: Clean up bug naming:Anna Zaks2012-02-161-15/+13
* [analyzer] Malloc Checker: Make the diagnostic visitor handle the caseAnna Zaks2012-02-161-22/+74
* [analyzer] Malloc Checker: Give up when a pointer escapes into a struct.Anna Zaks2012-02-161-0/+6
* [analyzer] Malloc checker: make a bit safer.Anna Zaks2012-02-151-2/+6
* [analyzer] Malloc Checker: add support for reallocf, which always freesAnna Zaks2012-02-151-22/+44
* [analyzer] Malloc Checker: add support for valloc + minor codeAnna Zaks2012-02-151-12/+19
* [analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks2012-02-141-53/+100
* [analyzer] Malloc Checker: realloc: add dependency between the symbolsAnna Zaks2012-02-141-9/+6
* [analyzer] Malloc Checker: realloc: correct the way we are handing theAnna Zaks2012-02-131-8/+9
* [analyzer] Malloc checker: rework realloc handling:Anna Zaks2012-02-131-34/+80
* [analyzer] Malloc Checker: reduce false negatives rate by assuming thatAnna Zaks2012-02-111-6/+28
* [analyzer] Malloc Checker: Report a leak when we are returning freedAnna Zaks2012-02-111-0/+6
* [analyzer] Malloc checker: Leak bugs should be suppressed by sinks.Anna Zaks2012-02-111-18/+28
* [analyzer] MallocChecker: refactor/improve the symbol escape logic.Anna Zaks2012-02-111-71/+103
* [analyzer] MallocChecker Cleanup - harden against crashes, fix an errorAnna Zaks2012-02-101-12/+23
* Remove unused fun.Benjamin Kramer2012-02-091-1/+0
* [analyzer] MallocChecker: address a diagnostic "fixme".Anna Zaks2012-02-091-11/+11
* [analyzer] Add custom path diagnostic to the Malloc Checker.Anna Zaks2012-02-091-1/+77
* [analyzer] MallocChecker cleanup, more tests.Anna Zaks2012-02-091-1/+0
* [analyzer] MallocChecker: implement pessimistic version of the checker,Anna Zaks2012-02-081-29/+62
* [analyzer] Split the MallocChecker into two versions - pessimistic andAnna Zaks2012-02-081-2/+16
* [analyzer] MallocChecker: convert from using evalCall toAnna Zaks2012-02-081-36/+33
* Basic: import SmallString<> into clang namespaceDylan Noblesmith2012-02-051-1/+1
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-5/+5
* Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer2012-02-041-0/+1
* Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer2012-02-041-0/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-33/+33
* Remove unnecessary default cases in switches over enums.David Blaikie2012-01-171-2/+0
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-10/+14
* [analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks2012-01-041-8/+7
* Fix 80 col violations.Ted Kremenek2012-01-041-13/+27
* [analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks2011-12-011-5/+1
* [analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks2011-10-261-15/+15
* [analyzer] Simplify CheckerContextAnna Zaks2011-10-251-12/+12
* [analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks2011-10-251-6/+5
* Change operator<< for raw_ostream and NamedDecl to take a reference instead o...Benjamin Kramer2011-10-141-1/+1
* [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the ...Anna Zaks2011-10-061-5/+9
* [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers ...Anna Zaks2011-10-041-1/+1
* If size was equal to 0, either NULL or a pointer suitable to be passed to Zhongxing Xu2011-09-011-5/+2
* Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks2011-08-171-1/+1
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-38/+38
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-4/+4
* [analyzer] fix bug in malloc checker where the tracked symbol would not prope...Ted Kremenek2011-07-281-11/+18
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-4/+4
* More accurately model realloc() when the size argument is 0. realloc() with a...Lenny Maiorani2011-04-271-11/+27
* Remove a redundant method. We have a const version.Zhongxing Xu2011-04-021-0/+1
* [analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis2011-03-011-2/+2
* [analyzer] Migrate MallocChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-79/+69
OpenPOWER on IntegriCloud