aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2011-10-14Refactor static analyzer to use simpler interface to constant expression eval...Richard Smith
2011-10-14Change operator<< for raw_ostream and NamedDecl to take a reference instead o...Benjamin Kramer
2011-10-11[analyzer] Remove an unused member variable.Anna Zaks
2011-10-11[analyzer] CheckerContext updates checkDst in it's destructor, so make sure t...Anna Zaks
2011-10-11[analyzer] Fix a typo.Anna Zaks
2011-10-11[analyzer] Warn about the use of insecure, deprecated vfork() function PR1105...Anna Zaks
2011-10-11Initial implementation of __atomic_* (everything except __atomic_is_lock_free).Eli Friedman
2011-10-10[analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goo...Ted Kremenek
2011-10-10Constant expression evaluation refactoring:Richard Smith
2011-10-07Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by J...Ted Kremenek
2011-10-07Remove AnalysisContext::getLiveVariables(), and introduce a templatized mecha...Ted Kremenek
2011-10-07[analyzer] Previously, we were passing to CheckerContext enough info to const...Anna Zaks
2011-10-07ProgramPoint cleanup after the previous commit r141408 (remove the copy const...Anna Zaks
2011-10-07Rename TagDecl::isDefinition -> isCompleteDefinitionJohn McCall
2011-10-06[static analyzer] Fix crash in LiveVariables and Environment::getSVal() when ...Ted Kremenek
2011-10-06Clang-side build system infrastructure for multiple tblgens.Peter Collingbourne
2011-10-06[analyzer] Remove the dependency on CheckerContext::getStmt() as well as the ...Anna Zaks
2011-10-05Fix major regression in RetainCountChecker. DefaultSummaries were not being ...Ted Kremenek
2011-10-05[analyzer] Remove the last dependency on CheckerContext::getNodeBuilder() as ...Anna Zaks
2011-10-05[analyzer] OSAtomicChecker implements evalCall in a very invasive way - it es...Anna Zaks
2011-10-04[analyzer] Removing more references to CheckerContext::getNodeBuilder(): ask ...Anna Zaks
2011-10-04[analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers ...Anna Zaks
2011-10-04[analyzer] Remove unused methods, add comments to others.Anna Zaks
2011-10-03[analyzer] Remove redundant state (AnalysisContext pointer for every BinaryOp...Anna Zaks
2011-10-03[analyzer] In UndefBranchChecker, use a node generator which does not create ...Anna Zaks
2011-10-03[analyzer] Cleanup in UndefBranchChecker:Anna Zaks
2011-10-03Allow getting all source locations of selector identifiers in a ObjCMethodDecl.Argyrios Kyrtzidis
2011-10-02Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling...Ted Kremenek
2011-10-01Address PR10616. The crash has already been fixed by Ted in r140725, so just ...Anna Zaks
2011-10-01Tweak the interface for analyzing the CF conventions for a nameJohn McCall
2011-09-30Fix crash when analyzing C++ code involving constant enums and switch stateme...Ted Kremenek
2011-09-30[analyzer] Fix a bug in RetainReleaseChecker diagnostics. It gives more preci...Anna Zaks
2011-09-30[analyzer] Add -analyzer-purge option which can take on multiple values, remo...Anna Zaks
2011-09-28Check for empty predecessors for walking them.Ted Kremenek
2011-09-27Fix a crash in MallocOverflowSecurityChecker. Patch by Lei Zhang.Anna Zaks
2011-09-27Renaming PathDiagnosticClients.h to PathDiagnosticConsumers.h (issue 5397)David Blaikie
2011-09-26Rename PathDiagnosticClient to PathDiagnosticConsumer as per issue 5397David Blaikie
2011-09-25Rename Diagnostic to DiagnosticsEngine as per issue 5397David Blaikie
2011-09-24Fix comment typo.Benjamin Kramer
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Move immutable map canonization out of the removeDeadBindings loop (via using...Anna Zaks
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-09-22ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call sin...Anna Zaks
2011-09-21[analyzer] Fix a bug where PathDiagnosticLocation did not generate a valid ra...Anna Zaks
2011-09-20[analyzer] Refactor PathDiagnosticLocation: Remove SourceRange member from Pa...Anna Zaks
2011-09-20[analyzer] Remove dead code. (This code is trying to implement the idea that ...Anna Zaks
2011-09-20[analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(Sourc...Anna Zaks
2011-09-20[analyzer] Refactor PathDiagnosticLocation: Use the pre-computed Range and Lo...Anna Zaks
2011-09-20[analyzer] Refactor PathDiagnosticLocation: Use PointerUnion of LocationConte...Anna Zaks
2011-09-20[analyzer] Refactor PathDiagnosticLocation: Lazily query LocationContext for ...Anna Zaks
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 15:07:23 +0000