aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive
AgeCommit message (Expand)Author
2013-05-06[analyzer] Remove now-unused bindCompoundLiteral helper function.Jordan Rose
2013-05-02[analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.Jordan Rose
2013-05-01[analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose
2013-04-23[analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create...Anna Zaks
2013-04-20[analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks
2013-04-20[analyzer] Flip printPretty and printPrettyAsExpr as per suggestion from Jord...Anna Zaks
2013-04-16Remove unused "getConfig()" method. A new way is to have high-levelTed Kremenek
2013-04-15[analyzer] Add pretty printing to CXXBaseObjectRegion.Anna Zaks
2013-04-15[analyzer] Address code review for r179395Anna Zaks
2013-04-12[analyzer]Print field region even when the base region is not printableAnna Zaks
2013-04-11[analyzer] Factor common code from {SymSym,SymInt,IntSym}Expr to BinarySymExprRyan Govostes
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-04-02[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks
2013-04-02[analyzer] Cache whether a function is generally inlineable.Jordan Rose
2013-04-02[analyzer] Use inline storage in the FunctionSummary DenseMap.Jordan Rose
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-03-28These are all simple pointer wrappers. Pass them by value.Rafael Espindola
2013-03-27Cleanup clang's specializations of simplify_type.Rafael Espindola
2013-03-26[analyzer] Change inlining policy to inline small functions when reanalyzing ...Anna Zaks
2013-03-23[analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose
2013-03-22Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."Jordan Rose
2013-03-20[analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose
2013-03-20[analyzer] Break cycles (optionally) when trimming an ExplodedGraph.Jordan Rose
2013-03-16[analyzer] Model trivial copy/move assignment operators with a bind as well.Jordan Rose
2013-03-16[analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose
2013-03-07[analyzer] Clean up a few doc comments for ProgramState and CallEvent.Jordan Rose
2013-03-05Silence a number of static analyzer warnings with assertions and such.Jordan Rose
2013-03-02[analyzer] Simple inline defensive checks suppressionAnna Zaks
2013-02-28[analyzer] Mark the root SVal class as isPodLike.Jordan Rose
2013-02-25[analyzer] Address Jordan's code review of r175857.Anna Zaks
2013-02-25[analyzer] add the notion of an "interesting" lvalue expression for ExplodedN...Ted Kremenek
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek
2013-02-24Add "KnownSVal" to represent SVals that cannot be UnknownSVal.Ted Kremenek
2013-02-22[analyzer] Place all inlining policy checks into one palceAnna Zaks
2013-02-22[analyzer] Make sure a materialized temporary matches its bindings.Jordan Rose
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-21[analyzer] Record whether a base object region represents a virtual base.Jordan Rose
2013-02-21Use None rather than Optional<T>() where possible.David Blaikie
2013-02-21Doxycomment SVal's getAs/castAs.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Rename SVal::isType functions to SVal::isKindDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-18Use LLVM_DELETED_FUNCTION rather than '// do not implement' comments.David Blaikie
2013-02-15Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-08[analyzer] Move DefaultBool so that all checkers can share it.Anna Zaks
2013-02-05Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek
2013-02-02Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-01Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-01[analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-30 15:40:51 +0000