aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer
AgeCommit message (Expand)Author
2012-06-17Documentation cleanup: Add missing parameter name to a \param commandJames Dennett
2012-06-11Etch out the code path for MS-style inline assembly.Chad Rosier
2012-06-07[analyzer] Anti-aliasing: different heap allocations do not aliasAnna Zaks
2012-06-06[analyzer] Provide debug descriptions for all memory space regions.Jordan Rose
2012-06-06Remove unused private member variables found by clang's new -Wunused-private-...Benjamin Kramer
2012-06-02[analyzer] Rely on canBeInlined utility instead of checking CallExprAnna Zaks
2012-06-01static analyzer: add inlining support for directly called blocks.Ted Kremenek
2012-05-31Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we...Ted Kremenek
2012-05-28Fix suspicous isIntegerType() check, found by PVS Studio (PR12357).Benjamin Kramer
2012-05-27Pass ProgramStateRef by reference.Benjamin Kramer
2012-05-19[analyzer] For locations, use isGLValue() instead of isLValue().Anna Zaks
2012-05-08[analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose
2012-05-08[analyzer] Add an abstraction for the bit width and signedness of an APSInt. ...Jordy Rose
2012-05-04Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek
2012-05-03[analyzer] Allow pointers escape through calls containing callback args.Anna Zaks
2012-05-03[analyzer] Add a complexity bound on history tracking.Anna Zaks
2012-05-02Fix some doxycomments using \class instead of \brief.David Blaikie
2012-05-01[analyzer] Construct a SymExpr even when the constraint solver cannotAnna Zaks
2012-04-28[analyzer] Remove references to idx::TranslationUnit. Index is dead, cross-TU...Jordy Rose
2012-04-27Use a deque instead of an ImmutableList in AnalysisConsumer to preserve the f...Ted Kremenek
2012-04-27Change FunctionSummary.h's definition of SetOfDecls to be an ImmutableList in...Ted Kremenek
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-20[analyzer] Remove unused method.Anna Zaks
2012-04-20[analyzer] ConstifyAnna Zaks
2012-04-16[analyzer] +commentsAnna Zaks
2012-04-13Remove the unused, unmaintained, incomplete 'Index' library.Douglas Gregor
2012-04-12[analyzer] PCH deserialization optimization.Anna Zaks
2012-04-10[analyzer] Add support for C++ dynamic_cast.Anna Zaks
2012-04-10[analyzer] + commentsAnna Zaks
2012-04-06Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek
2012-04-06[analyzer]Fix false positive: pointer might escape through CG*WithData.Anna Zaks
2012-04-05Require that all static analyzer issues have a category. As part of this cha...Ted Kremenek
2012-04-05[analyzer] Add a coverage calculation to FunctionSummaries.Anna Zaks
2012-04-04Include the "issue context" (e.g. function or method) where a static analyzer...Ted Kremenek
2012-04-03[analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks
2012-04-01Analyzer: Store BugReports directly in a ilist instead of adding another laye...Benjamin Kramer
2012-03-30[analyzer] Do not inline functions which previously reached max blockAnna Zaks
2012-03-28[analyzer] Enable retry exhausted without inlining by default.Anna Zaks
2012-03-28[analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks
2012-03-27[analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks
2012-03-27[analyzer] Fix a typo.Anna Zaks
2012-03-24Don't cast away constness.Benjamin Kramer
2012-03-24[analyzer] Restart path diagnostic generation if any of the visitors change t...Jordy Rose
2012-03-24[analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able ...Jordy Rose
2012-03-23Avoid applying retain/release effects twice in RetainCountChecker when a func...Ted Kremenek
2012-03-21[analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks
2012-03-21[analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks
2012-03-17StaticAnalyzer: Fix abuse of StringRef in r152962.NAKAMURA Takumi
2012-03-16[analyzer] Shorten the stack hint diagnostic.Anna Zaks
2012-03-16[analyzer] Create symbol-aware stack hints (building upon r152837).Anna Zaks