aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis
AgeCommit message (Expand)Author
2008-04-22Add VisitArraySubscriptExpr.Ted Kremenek
2008-04-21Added support for detected bad dereferences involving MemberExprs, e.g. x->f ...Ted Kremenek
2008-04-18Generalize caching mechanism for bugs reports. Now individual BugTypesTed Kremenek
2008-04-18Fixed more caching bugs related to the one fixed in r49914. SilenceTed Kremenek
2008-04-18Fixed elusive caching bug that led to false positives.Ted Kremenek
2008-04-18Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errorsTed Kremenek
2008-04-18Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluatingTed Kremenek
2008-04-18BugReport::VisitNode now takes BugReporter& instead of ASTContext&.Ted Kremenek
2008-04-18Simplified internal logic of BugReporter, consolidating EmitWarning andTed Kremenek
2008-04-17Modified BugReport::getEndPath() to handle the case where end path is atTed Kremenek
2008-04-16Handle ReturnStmts by dispatching to "EvalReturn" in the transfer function ob...Ted Kremenek
2008-04-16Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a ...Ted Kremenek
2008-04-16Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV toTed Kremenek
2008-04-16Hook up "EvalStore" from GRTransferFuncs to GRExprEngine.Ted Kremenek
2008-04-16Take first step to migrating handling of "stores" to values from GRExprEngineTed Kremenek
2008-04-15Added some comments to GRExprEngine. Reorder some of the method definitionsTed Kremenek
2008-04-15Revert my previous patch.Ted Kremenek
2008-04-15Remove dispatch to "VisitParmVarDecl".Ted Kremenek
2008-04-15Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVar...Steve Naroff
2008-04-15Fix bug in terminator processing for uninitialized-values: simply ignore the ...Ted Kremenek
2008-04-15Bug fix in VisitChildren: Only visit the last statement in a StmtExpr and the...Ted Kremenek
2008-04-15Added initial support into the flow-sensitive dataflow solver to visit the Bl...Ted Kremenek
2008-04-14Hooked up the dead-store checker to the BugReporter interface. Now dead-storeTed Kremenek
2008-04-11Added "EvalEndPath" to GRTransferFuncs: the default implementation does notTed Kremenek
2008-04-11Added "GREndPathNodeBuilder", a new node builder that will be used forTed Kremenek
2008-04-11Added "RangedBugReport".Ted Kremenek
2008-04-10Fix some bonehead bugs in summary generation in CFRefCount.Ted Kremenek
2008-04-10Refactored all logic to run the GRSimpleVals and CFRef checker into a commonTed Kremenek
2008-04-10Fixed regressions in error reporting due to copy-paste errors (using the "begin"Ted Kremenek
2008-04-09Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.Ted Kremenek
2008-04-09Added new "BugReporterHelper" class which is used by BugReporter to emitTed Kremenek
2008-04-06fix a number of const qualification bugs.Chris Lattner
2008-04-03Make typedefs public.Ted Kremenek
2008-04-03Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to useTed Kremenek
2008-04-03Mark nodes as sinks that GRAuditor says should be marked as sinks.Ted Kremenek
2008-04-03Added node_iterator to ExplodedGraph to allow iteration over all nodes inTed Kremenek
2008-04-03Created new path-sensitive bug-reporting scheme based on the classesTed Kremenek
2008-04-03Added missing #ifndef...#define...#endif directives to protect againstTed Kremenek
2008-04-02Fix initialization bug.Ted Kremenek
2008-04-02Added "back()" method to PathDiagnostic to access the last piece in a path.Ted Kremenek
2008-04-02Change ObjCInterfaceDecl to inherit from NamedDecl (not TypeDecl). While ObjC...Steve Naroff
2008-04-02Added "description" field to PathDiagnostic.Ted Kremenek
2008-04-02Fix copy-paste error.Ted Kremenek
2008-03-31Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removedTed Kremenek
2008-03-31Added path-sensitive check for return statements that return the addressTed Kremenek
2008-03-27Hooked up initial NSString interface checking to GRSimpleVals.Ted Kremenek
2008-03-27ProgramPoint is just a smart pointer; no reason to return a constant reference.Ted Kremenek
2008-03-27Add default ctor implementation.Ted Kremenek
2008-03-27Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless ...Ted Kremenek
2008-03-27PathDiagnosticPiece no longer contains a vector of strings; just one string.Ted Kremenek