aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-02-14Remove recusive expression visitation in ExprEngine::VisitIncrementDecrementO...Ted Kremenek
2012-02-14Remove recursive visitation in ExprEngine for UO_Not, UO_Minus, UO_LNot.Ted Kremenek
2012-02-14Remove recursive visitation in ExprEngine for UO_Deref, UO_AddrOf, and UO_Ext...Ted Kremenek
2012-02-14Remove ExprEngine recursive visitation of unary UO_Imag operation.Ted Kremenek
2012-02-14Further remove some recursive visitiation in ExprEngine that is no longer nee...Ted Kremenek
2012-02-09[analyzer] Proactively avoid inlining vararg functions and blocks until we pr...Ted Kremenek
2012-02-08Remove explicit delete of PathDiagnosticMacroPiece, as it is now reference co...Ted Kremenek
2012-02-08Change PathDiagnosticPieces to be reference counted (simplifying their manage...Ted Kremenek
2012-02-08Refactor pieces of PathDiagnostic into its own data structure. No functional...Ted Kremenek
2012-02-07Revert my patches which removed Diagnostic.h includes by moving some operator...Benjamin Kramer
2012-02-07Print NamedDecls directly to a raw_ostream where possible.Benjamin Kramer
2012-02-07Introduce basic ASTs for lambda expressions. This covers:Douglas Gregor
2012-02-07Create PathDiagnosticCallEnter and PathDiagnosticCallExit, to remark calls in...Ted Kremenek
2012-02-07Tweak BugReporter extensive diagnostics to not add edges between function calls.Ted Kremenek
2012-02-07Quote name of function in path diagnostics.Ted Kremenek
2012-02-07Add basic BugReporter support for CallEnter/CallExit. WIP.Ted Kremenek
2012-02-05Basic: import SmallString<> into clang namespaceDylan Noblesmith
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-02-04Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer
2012-02-04Remove Diagnostic.h include from Preprocessor.h.Benjamin Kramer
2012-02-04Move various diagnostic operator<< overloads out of line and remove includes ...Benjamin Kramer
2012-02-01[analyzer] Fix a crash in CheckerContext::isCLibraryFunction for C++Anna Zaks
2012-01-31[analyzer] Add checks for common anti-patterns in strncat.Anna Zaks
2012-01-31Reapply r149311 which I reverted by mistake.Argyrios Kyrtzidis
2012-01-31Revert r149311 which failed to compile.Argyrios Kyrtzidis
2012-01-31Minor refactor within ExplodedGraph::reclaimRecentlyAllocatedNodes(). No fun...Ted Kremenek
2012-01-31Convert ProgramStateRef to a smart pointer for managing the reference counts ...Ted Kremenek
2012-01-30[analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.Anna Zaks
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-25Rework flushing of diagnostics to PathDiagnosticConsumer. Now all the report...Ted Kremenek
2012-01-25Post open source analyzer build checker-259.Ted Kremenek
2012-01-25Reduce peak memory usage of the static analyzer on sqlite3 (when using inlini...Ted Kremenek
2012-01-20More dead code removal (using -Wunreachable-code)David Blaikie
2012-01-20[analyzer] Skip casts when determining taint dependencies + prettyAnna Zaks
2012-01-20[analyzer] Add a utility method that allows to find the macro name usedAnna Zaks
2012-01-18[analyzer] Taint: add taint propagation rules for string and memory copyAnna Zaks
2012-01-17Remove unnecessary default cases in switches over enums.David Blaikie
2012-01-16Some improvements to the handling of C11 atomic types:David Chisnall
2012-01-16Refactor variables unused under non-assert builds.David Blaikie
2012-01-13[analyzer] Unwrap the pointers when ignoring the const cast.Anna Zaks
2012-01-13[analyzer] RegionStoreManager::getBinding() should not crash whenAnna Zaks
2012-01-13[analyzer] Fix a typo in a warning message.Anna Zaks
2012-01-12[analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek
2012-01-12[analyzer] Rename Store::Retrieve() -> getBinding().Anna Zaks
2012-01-11Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up in...Ted Kremenek
2012-01-10Make PathDiagnosticLocation more resilient to null Stmt pointers.Ted Kremenek
2012-01-07[analyzer] Add basic format string vulnerability checking.Anna Zaks
2012-01-07[analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEn...Ted Kremenek
2012-01-07Correctly enqueue successors in ExprEngine::processCallExit().Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 11:20:07 +0000