summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* Refactor static analyzer to use simpler interface to constant expression eval...Richard Smith2011-10-141-21/+9
* Change operator<< for raw_ostream and NamedDecl to take a reference instead o...Benjamin Kramer2011-10-1415-31/+31
* [analyzer] Remove an unused member variable.Anna Zaks2011-10-111-7/+4
* [analyzer] CheckerContext updates checkDst in it's destructor, so make sure t...Anna Zaks2011-10-111-3/+7
* [analyzer] Fix a typo.Anna Zaks2011-10-111-1/+1
* [analyzer] Warn about the use of insecure, deprecated vfork() function PR1105...Anna Zaks2011-10-111-0/+22
* Initial implementation of __atomic_* (everything except __atomic_is_lock_free).Eli Friedman2011-10-111-0/+1
* [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goo...Ted Kremenek2011-10-102-1/+6
* Constant expression evaluation refactoring:Richard Smith2011-10-102-5/+7
* Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by J...Ted Kremenek2011-10-071-1/+1
* Remove AnalysisContext::getLiveVariables(), and introduce a templatized mecha...Ted Kremenek2011-10-074-9/+6
* [analyzer] Previously, we were passing to CheckerContext enough info to const...Anna Zaks2011-10-071-16/+33
* ProgramPoint cleanup after the previous commit r141408 (remove the copy const...Anna Zaks2011-10-071-27/+2
* Rename TagDecl::isDefinition -> isCompleteDefinitionJohn McCall2011-10-073-3/+3
* [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when ...Ted Kremenek2011-10-061-1/+7
* Clang-side build system infrastructure for multiple tblgens.Peter Collingbourne2011-10-061-2/+2
* [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the ...Anna Zaks2011-10-069-21/+33
* Fix major regression in RetainCountChecker. DefaultSummaries were not being ...Ted Kremenek2011-10-051-89/+101
* [analyzer] Remove the last dependency on CheckerContext::getNodeBuilder() as ...Anna Zaks2011-10-051-14/+10
* [analyzer] OSAtomicChecker implements evalCall in a very invasive way - it es...Anna Zaks2011-10-052-23/+84
* [analyzer] Removing more references to CheckerContext::getNodeBuilder(): ask ...Anna Zaks2011-10-041-6/+2
* [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers ...Anna Zaks2011-10-045-13/+13
* [analyzer] Remove unused methods, add comments to others.Anna Zaks2011-10-041-1/+1
* [analyzer] Remove redundant state (AnalysisContext pointer for every BinaryOp...Anna Zaks2011-10-031-4/+9
* [analyzer] In UndefBranchChecker, use a node generator which does not create ...Anna Zaks2011-10-031-1/+1
* [analyzer] Cleanup in UndefBranchChecker:Anna Zaks2011-10-031-7/+4
* Allow getting all source locations of selector identifiers in a ObjCMethodDecl.Argyrios Kyrtzidis2011-10-032-4/+5
* Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling...Ted Kremenek2011-10-021-13/+10
* Address PR10616. The crash has already been fixed by Ted in r140725, so just ...Anna Zaks2011-10-011-1/+1
* Tweak the interface for analyzing the CF conventions for a nameJohn McCall2011-10-011-8/+6
* Fix crash when analyzing C++ code involving constant enums and switch stateme...Ted Kremenek2011-09-301-2/+7
* [analyzer] Fix a bug in RetainReleaseChecker diagnostics. It gives more preci...Anna Zaks2011-09-301-1/+1
* [analyzer] Add -analyzer-purge option which can take on multiple values, remo...Anna Zaks2011-09-304-23/+32
* Check for empty predecessors for walking them.Ted Kremenek2011-09-281-1/+1
* Fix a crash in MallocOverflowSecurityChecker. Patch by Lei Zhang.Anna Zaks2011-09-271-0/+2
* Renaming PathDiagnosticClients.h to PathDiagnosticConsumers.h (issue 5397)David Blaikie2011-09-274-5/+5
* Rename PathDiagnosticClient to PathDiagnosticConsumer as per issue 5397David Blaikie2011-09-268-38/+40
* Rename Diagnostic to DiagnosticsEngine as per issue 5397David Blaikie2011-09-256-12/+13
* Fix comment typo.Benjamin Kramer2011-09-241-1/+1
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-239-15/+0
* Move immutable map canonization out of the removeDeadBindings loop (via using...Anna Zaks2011-09-231-4/+9
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-2313-30/+30
* ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call sin...Anna Zaks2011-09-222-31/+4
* [analyzer] Fix a bug where PathDiagnosticLocation did not generate a valid ra...Anna Zaks2011-09-211-6/+9
* [analyzer] Refactor PathDiagnosticLocation: Remove SourceRange member from Pa...Anna Zaks2011-09-201-8/+5
* [analyzer] Remove dead code. (This code is trying to implement the idea that ...Anna Zaks2011-09-201-37/+0
* [analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(Sourc...Anna Zaks2011-09-2015-77/+166
* [analyzer] Refactor PathDiagnosticLocation: Use the pre-computed Range and Lo...Anna Zaks2011-09-201-16/+3
* [analyzer] Refactor PathDiagnosticLocation: Use PointerUnion of LocationConte...Anna Zaks2011-09-201-9/+16
* [analyzer] Refactor PathDiagnosticLocation: Lazily query LocationContext for ...Anna Zaks2011-09-201-22/+13