aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/Analyses
AgeCommit message (Expand)Author
2008-12-09Fixed LiveVariables bug where we didn't consider block-level expressions that...Ted Kremenek
2008-11-14Rename header file.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-03-31Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removedTed Kremenek
2008-03-14Path-sensitive analyses no longer take a FunctionDecl, but any Decl representingTed Kremenek
2008-03-13The LiveVariables analysis no longer requires a FunctionDecl&; this allows itTed Kremenek
2008-03-07Added --trim-path-graph to the driver to trim paths from the ExplodedGraphTed Kremenek
2008-03-06fix typosGabor Greif
2008-02-19--grsimple now reports the number of nodes in the ExplodedGraph forTed Kremenek
2008-02-15Added --grsimple-view option to clang driver; this is the same asTed Kremenek
2008-02-14Renamed GRConstants => GRSimpleVals.Ted Kremenek
2008-02-07Added proof-of-concept NULL pointer diagnostics to GRConstants.Ted Kremenek
2008-01-29Modified LiveVariables to perform all of its base initialization in the ctor,Ted Kremenek
2008-01-29Driver now passes the top-level FunctionDecl* to GRConstants.Ted Kremenek
2008-01-24Added passing "ASTContext" to both GREngine and GRConstants.Ted Kremenek
2008-01-17Modified the notion of "Block-level expressions" in CFGs to include Stmt*. ThisTed Kremenek
2008-01-17Added support to dataflow solver to (when requested) also record dataflowTed Kremenek
2008-01-16Add missing header file for GRConstants analysis.Ted Kremenek
2008-01-11Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdgeTed Kremenek
2007-12-29Don't attribute in file headers anymore. See llvmdev for theChris Lattner
2007-12-21Directory restructing of Analysis files.Ted Kremenek