summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Fixup for r185609: actually do suppress warnings coming out of std...Anna Zaks2013-07-091-4/+4
* Use llvm::sys::fs::createUniqueFile.Rafael Espindola2013-07-051-3/+2
* Use llvm::sys::fs::createTemporaryFile.Rafael Espindola2013-07-051-1/+1
* Fix PR16547.Rafael Espindola2013-07-051-2/+3
* Use SmallVectorImpl instead of SmallVector for iterators and references to av...Craig Topper2013-07-043-5/+5
* [analyzer] Suppress reports reported in std::listAnna Zaks2013-07-041-8/+23
* [analyzer] Make sure that inlined defensive checks work on div by zero.Anna Zaks2013-07-041-5/+9
* [analyzer] Improve handling of noreturn destructorsPavel Labath2013-07-031-13/+11
* [analyzer] Pointers-to-members are (currently) Locs, not NonLocs.Jordan Rose2013-07-021-1/+1
* Teach static analyzer about AttributedStmtsPavel Labath2013-07-021-1/+1
* [analyzer] Explicitly disallow mixed Loc-NonLoc comparisons.Jordan Rose2013-07-021-22/+3
* We only create one file, no need to delete a directory.Rafael Espindola2013-06-261-8/+7
* Remove unused include.Rafael Espindola2013-06-261-1/+0
* Remove more uses of llvm::sys::Path.Rafael Espindola2013-06-261-26/+13
* [analyzer] Handle zeroing CXXConstructExprs.Jordan Rose2013-06-251-1/+32
* [analyzer] Don't initialize virtual base classes more than once.Jordan Rose2013-06-251-1/+19
* Use getAs<> where appropriate on QualTypes instead of using dyn_cast.Eli Friedman2013-06-241-14/+7
* [analyzer] Add a debug checker that prints Exploded GraphAnna Zaks2013-06-242-0/+25
* Check the canonical parameter type with getAs<>() in a static checkerReid Kleckner2013-06-241-5/+5
* [analyzer] Use output form collections’ count to decide if ObjC for loop sh...Anna Zaks2013-06-221-8/+175
* Revert "[analyzer] Handle zeroing CXXConstructExprs."Jordan Rose2013-06-211-49/+10
* [analyzer] Handle zeroing CXXConstructExprs.Jordan Rose2013-06-211-10/+49
* Fix static analyzer crash when casting from an incomplete typePavel Labath2013-06-201-1/+4
* Fix a crash in the static analyzer (bug #16307)Pavel Labath2013-06-192-2/+28
* [analyzer] Do not create a CompoundVal for lvalue InitListExprs.Anna Zaks2013-06-181-4/+7
* [analyzer] Do not report uninitialized value warnings inside swap functions.Anna Zaks2013-06-182-0/+17
* [AST] Don't include RecursiveASTVisitor.h in ASTContext.hReid Kleckner2013-06-172-0/+3
* Use the sys::ExecuteAndWait that takes StringRefs.Rafael Espindola2013-06-131-2/+2
* Update for llvm change.Rafael Espindola2013-06-131-2/+3
* PR12086, PR15117Richard Smith2013-06-121-0/+1
* Use the global functions instead of the Program methods.Rafael Espindola2013-06-121-2/+2
* Port HTMLDiagnostics to PathV2. No intended functionality change.Benjamin Kramer2013-06-121-34/+22
* Fix memory corruption in CStringCheckerPavel Labath2013-06-121-4/+1
* Include PathV1.h in files that use it.Rafael Espindola2013-06-111-0/+1
* [analyzer] Minor fixups to r183062Anna Zaks2013-06-081-7/+8
* [analyzer; alternate edges] Fix the edge locations in presence of macros.Anna Zaks2013-06-081-1/+1
* [analyzer] Address Jordan’s code review for r183451Anna Zaks2013-06-061-3/+3
* [analyzer] Ensure that pieces with invalid locations always get removed from ...Anna Zaks2013-06-061-9/+24
* [analyzer] fixup the commentAnna Zaks2013-06-061-1/+1
* [analyzer; new edges] Simplify edges in a C++11 for-range loop.Jordan Rose2013-06-061-16/+41
* [analyzer] Improve debug output for PathDiagnosticPieces.Jordan Rose2013-06-061-54/+75
* [analyzer] Fix a crash that occurs when processing an rvalue array.Anna Zaks2013-06-061-1/+18
* [analyzer; new edges] Don't crash if the top-level entry edge is missing.Jordan Rose2013-06-061-7/+13
* [analyzer; new edges] Ignore self-edges, not all edges with the same location.Jordan Rose2013-06-061-6/+7
* [analyzer] Enable the new edge algorithm by default.Jordan Rose2013-06-031-1/+1
* [analyzer; new edges] Omit subexpression back-edges that span multiple lines.Jordan Rose2013-06-031-1/+16
* [analyzer; new edges] Don't eliminate subexpr edge cycles if the line is long.Jordan Rose2013-06-031-23/+83
* [analyzer; new edges] Eliminate "cycle edges" for a single subexpression.Jordan Rose2013-06-031-0/+50
* [analyzer; new edges] Improve enclosing contexts for logical expressions.Jordan Rose2013-06-031-9/+20
* [analyzer; new edges] Include context for edges to sub-expressions.Jordan Rose2013-06-031-254/+177