summaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer
Commit message (Expand)AuthorAge
* [analyzer] Remove now-unused bindCompoundLiteral helper function.Jordan Rose2013-05-06
* [analyzer;alternate edges] start experimenting with control flow "barriers" t...Ted Kremenek2013-05-04
* [analyzer; alternate edges] prune edges whose end/begin locations have the sa...Ted Kremenek2013-05-04
* [analyzer] Start hacking up alternate control-flow edge generation. WIP. No...Ted Kremenek2013-05-03
* Re-apply 180974 with the build error fixed. This was the resultTed Kremenek2013-05-03
* Revert "Change LocationContextMap to be a temporary instead of shared variabl...Rafael Espindola2013-05-03
* Change LocationContextMap to be a temporary instead of shared variable in Bug...Ted Kremenek2013-05-02
* [analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.Jordan Rose2013-05-02
* [analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose2013-05-01
* Just use std::list<> for PathPieces instead of complicated use of ilist.Ted Kremenek2013-04-29
* Revert "[analyzer] Change PathPieces to be a wrapper around an ilist of (thro...Ted Kremenek2013-04-29
* [analyzer] Change PathPieces to be a wrapper around an ilist of (through indi...Ted Kremenek2013-04-29
* [analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create...Anna Zaks2013-04-23
* [analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks2013-04-20
* [analyzer] Flip printPretty and printPrettyAsExpr as per suggestion from Jord...Anna Zaks2013-04-20
* [analyzer] Allow TrackConstraintBRVisitor to work when the value it’s track...Anna Zaks2013-04-17
* Factor CheckerManager to be able to pass AnalyzerOptions to checkersTed Kremenek2013-04-16
* Remove unused "getConfig()" method. A new way is to have high-levelTed Kremenek2013-04-16
* [analyzer] Add pretty printing to CXXBaseObjectRegion.Anna Zaks2013-04-15
* [analyzer] Address code review for r179395Anna Zaks2013-04-15
* [analyzer]Print field region even when the base region is not printableAnna Zaks2013-04-12
* [analyzer] Factor common code from {SymSym,SymInt,IntSym}Expr to BinarySymExprRyan Govostes2013-04-11
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-09
* [analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks2013-04-02
* [analyzer] For now, don't inline [cd]tors of C++ containers.Jordan Rose2013-04-02
* [analyzer] Cache whether a function is generally inlineable.Jordan Rose2013-04-02
* [analyzer] Use inline storage in the FunctionSummary DenseMap.Jordan Rose2013-04-02
* [analyzer] Allow suppressing diagnostics reported within the 'std' namespaceJordan Rose2013-04-02
* [analyzer] Address Jordan’s review of r178309 - do not register an extra vi...Anna Zaks2013-03-29
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-29
* Add configuration plumbing to enable static initializer branching in the CFG ...Ted Kremenek2013-03-29
* [analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks2013-03-28
* [analyzer] Apply the suppression rules to the nil receiver only if the value ...Anna Zaks2013-03-28
* These are all simple pointer wrappers. Pass them by value.Rafael Espindola2013-03-28
* Cleanup clang's specializations of simplify_type.Rafael Espindola2013-03-27
* [analyzer] Ensure that the node NilReceiverBRVisitor is looking for is not re...Anna Zaks2013-03-27
* [analyzer] Change inlining policy to inline small functions when reanalyzing ...Anna Zaks2013-03-26
* [analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose2013-03-23
* Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."Jordan Rose2013-03-22
* [analyzer] Invalidate regions indirectly accessible through const pointers.Jordan Rose2013-03-20
* [analyzer] Break cycles (optionally) when trimming an ExplodedGraph.Jordan Rose2013-03-20
* [analyzer] Replace uses of assume() with isNull() in BR visitors.Jordan Rose2013-03-18
* [analyzer] Model trivial copy/move assignment operators with a bind as well.Jordan Rose2013-03-16
* [analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose2013-03-16
* [analyzer] Change the way in which IDC Visitor decides to kick in and make su...Anna Zaks2013-03-14
* [analyzer] Make Suppress IDC checker aware that it might not start from the s...Anna Zaks2013-03-09
* [analyzer] Clean up a few doc comments for ProgramState and CallEvent.Jordan Rose2013-03-07
* [analyzer] IDC: Add config option; perform the idc check on first “null nod...Anna Zaks2013-03-06
* Silence a number of static analyzer warnings with assertions and such.Jordan Rose2013-03-05
* [analyzer] Simple inline defensive checks suppressionAnna Zaks2013-03-02
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-01 23:52:58 +0000