aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis
AgeCommit message (Expand)Author
2007-10-02ObjcCategoryDecl Does not subclass from ScopedDecl any more.Fariborz Jahanian
2007-10-02Moved ProgramEdge out out include/.../Analysis/PathSensitive to include/.../A...Ted Kremenek
2007-10-02Added DenseMapInfo traits for ProgramEdgesTed Kremenek
2007-10-01Migrated LiveVariables and UninitializedVariables to now use theTed Kremenek
2007-10-01Move ObjC decls to DeclObjC.h, a new AST header.Steve Naroff
2007-09-28Added ProgramEdge.h, which defines ProgramEdge (and subclasses) thatTed Kremenek
2007-09-28Significant cleanups and bug-fixes to LiveVariables. Uses new refactoredTed Kremenek
2007-09-28Refactored ExprDeclBitVector into two classes:Ted Kremenek
2007-09-28Fixed bug where declaration initializer expressions were notTed Kremenek
2007-09-28Added iterator mechanism to iterator over the decls and expressionsTed Kremenek
2007-09-28Fixed several bugs in the propagation of "uninitialized value"Ted Kremenek
2007-09-27Created new "ExprDeclBitVector" type bundle for dataflow analyses that need b...Ted Kremenek
2007-09-26Added extra guard for null Stmt* when traversing the AST using VisitChildren.Ted Kremenek
2007-09-25Moved "DataflowSolver.h" to the "include/" subtree. Adjusted clientTed Kremenek
2007-09-25Further refactored DataflowSolver. Now most code for the solver is sharedTed Kremenek
2007-09-25Added extra "constness" to parameter.Ted Kremenek
2007-09-25Added PersistentMap, an ADT that implements a map data structure thatTed Kremenek
2007-09-24Added smart pointer class "IntrusiveSPtr" that handles referenceTed Kremenek
2007-09-23Fix for 64-bit systems.Chris Lattner
2007-09-20Renamed "include/clang/Analysis/CFGVisitors" "<snip>/Analysis/Visitors".Ted Kremenek
2007-09-20Moved include/clang/Analysis/*Visitor.h to include/clang/Analysis/CFGVisitors.Ted Kremenek
2007-09-19More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor.Ted Kremenek
2007-09-19Added two new visitors that extend CFGStmtVisitor: CFGRecStmtVisitor and CFGR...Ted Kremenek
2007-09-18DataflowSolver now acccepts an "_Equal" template parameter that allows the userTed Kremenek
2007-09-18Fixed bug where getBitRef would incorrectly grab the bit from theTed Kremenek
2007-09-18More refactoring and code reduction.Ted Kremenek
2007-09-18Modified DataFlowValues and DataflowSolver to associate dataflow valueTed Kremenek
2007-09-17UninitialuzedValues now only tracks BlockVarDecls; obviating false positives ...Ted Kremenek
2007-09-17More progress on UnitializedValues checker. We now have preliminary supportTed Kremenek
2007-09-17Split tracking of unitialized values for Decls and CFGBlock-level expressions.Ted Kremenek
2007-09-17Removed "ObserverTy" from core DataflowValues types. The observerTed Kremenek
2007-09-15switch the various CFG-based stuff over to using ASTConsumer interface,Chris Lattner
2007-09-14Prototype implementation of new template-based dataflow solver.Ted Kremenek
2007-09-12Fixed logic bug in recursion to visiting child statements.Ted Kremenek
2007-09-12Added extensions (subclasses) to the StmtVisitor class thatTed Kremenek
2007-09-10Fixed LiveVariables to no longer track the liveness of function pointersTed Kremenek
2007-09-10Renaming of the LiveVariablesAuditor interface. Changed "Auditor" andTed Kremenek
2007-09-06Forgot to check in the actual "dead stores" checker in the last commit!Ted Kremenek
2007-09-06Added "Dead Stores", a flow-sensitive checker that checks for storesTed Kremenek
2007-09-06LiveVariables:Ted Kremenek
2007-09-06Added an early implementation of Live-Variables analysis built onTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-08 13:16:20 +0000