aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2013-05-06[analyzer] Remove now-unused bindCompoundLiteral helper function.Jordan Rose
2013-05-04[analyzer;alternate edges] start experimenting with control flow "barriers" t...Ted Kremenek
2013-05-04[analyzer; alternate edges] prune edges whose end/begin locations have the sa...Ted Kremenek
2013-05-03[analyzer] Start hacking up alternate control-flow edge generation. WIP. No...Ted Kremenek
2013-05-03Re-apply 180974 with the build error fixed. This was the resultTed Kremenek
2013-05-03Revert "Change LocationContextMap to be a temporary instead of shared variabl...Rafael Espindola
2013-05-02Change LocationContextMap to be a temporary instead of shared variable in Bug...Ted Kremenek
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-29Just use std::list<> for PathPieces instead of complicated use of ilist.Ted Kremenek
2013-04-29Revert "[analyzer] Change PathPieces to be a wrapper around an ilist of (thro...Ted Kremenek
2013-04-29[analyzer] Change PathPieces to be a wrapper around an ilist of (through indi...Ted Kremenek
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-17[analyzer] Allow TrackConstraintBRVisitor to work when the value it’s track...Anna Zaks
2013-04-16Factor CheckerManager to be able to pass AnalyzerOptions to checkersTed Kremenek
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] For now, don't inline [cd]tors of C++ containers.Jordan Rose
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-04-02[analyzer] Allow suppressing diagnostics reported within the 'std' namespaceJordan Rose
2013-03-29[analyzer] Address Jordan’s review of r178309 - do not register an extra vi...Anna Zaks
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-03-29Add configuration plumbing to enable static initializer branching in the CFG ...Ted Kremenek
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-03-28[analyzer] Apply the suppression rules to the nil receiver only if the value ...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-27[analyzer] Ensure that the node NilReceiverBRVisitor is looking for is not re...Anna Zaks
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-18[analyzer] Replace uses of assume() with isNull() in BR visitors.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-14[analyzer] Change the way in which IDC Visitor decides to kick in and make su...Anna Zaks
2013-03-09[analyzer] Make Suppress IDC checker aware that it might not start from the s...Anna Zaks
2013-03-07[analyzer] Clean up a few doc comments for ProgramState and CallEvent.Jordan Rose
2013-03-06[analyzer] IDC: Add config option; perform the idc check on first “null nod...Anna Zaks
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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2024-12-12 17:44:46 +0000