aboutsummaryrefslogtreecommitdiff
path: root/Analysis
AgeCommit message (Collapse)Author
2007-09-28Fixed several bugs in the propagation of "uninitialized value"Ted Kremenek
taintness across expressions. Made "smart-culling" of taint propagation (for error reporting) correctly handle conditional expressions and a few other edge cases. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42421 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-27Created new "ExprDeclBitVector" type bundle for dataflow analyses that need ↵Ted Kremenek
boolean values associated with ScopedDecls and CFGBlock-level Exprs. This is the common boilerplate needed by UninitializedValues and LiveVariables. Refactored UninitializedValues to use ExprDeclBitVector. Shortened the string diagnostic for UninitializedValues. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42408 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-25Moved "DataflowSolver.h" to the "include/" subtree. Adjusted clientTed Kremenek
code that uses the solver to reflect the new location. Created "FlowSensitive" subdirectory in include/clang/Analysis to hold header files relating to flow-sensitive analyses. Moved "DataflowValues.h" into this subdirectory. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42320 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-25Comment formatting changes. No real content changes.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42305 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-25Minor comment changes.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42304 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-25Removed "EverKilled" class in DeadStores checker; it is no longer used.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42301 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-25Further refactored DataflowSolver. Now most code for the solver is sharedTed Kremenek
between forward and backward analyses, with trait classes being used to implement the key differences in operations/functionality. Converted the LiveVariables analysis to use the generic DataflowSolver. This, along with removing some extra functionality that was not needed, reduced the code for LiveVariables by over half. Modified Driver code to handle the updated interface to LiveVariables. Modified the DeadStores checker to handle the update interface to LiveVariables. Updated DataflowValues (generic ADT to store dataflow values) to also store values for blocks. This is used by DeadStores. Updated some comments. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42293 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-20Updated header file inlcude to new location ofTed Kremenek
Analysis/Visitors/*Visitors.h files. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42175 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-20Updated VC++ project files.Hartmut Kaiser
Disambiguated a variable. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42161 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-19More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42145 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18DataflowSolver now acccepts an "_Equal" template parameter that allows the userTed Kremenek
to specify how two dataflow values should be compared for equality. The default is to use std::equal_to. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42115 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18Changed solver to use "==" operator when comparing dataflow valuesTed Kremenek
rather than a special "equal" method defined in the class for the value. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42113 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18Minor performance fix in transfer function logic. Previously weTed Kremenek
called VisitStmt, but VisitChildren is more direct and creates less boilerplate logic. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42110 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18More refactoring and code reduction.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42109 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18Add overloaded versions of DataflowSolver::runOnBlock to simplifyTed Kremenek
invocation of the solver. UninitializedValues checker now uses CFG::runOnAllBlocks to query the computed dataflow values (tighter code). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42107 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18Added member template CFG::VisitBlockStmts to provide a succinct wayTed Kremenek
of visiting all block-level statements in a CFG. Tightened implementation of UninitializedValues. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42106 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18Moved TransferFunction object within DataflowSolver to be a instanceTed Kremenek
variable instead of a temporary. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42102 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18Modified DataFlowValues and DataflowSolver to associate dataflow valueTed Kremenek
with CFG *edges* instead of blocks. This will fascilitate dataflow analyses that are sensitive to block terminators, and also simplifies some reasoning. Updated UninitializedValues to comply to this new interface. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42099 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-17Bug fix to merging of data flow values (merge incorrectly made valuesTed Kremenek
too "conservative"). Several revisions to UninitializedValues checker after testing. We now appear to be working correctly (probably some bugs still, but main functionality appears to be there). Implemented careful emitting of warnings so that we wouldn't get a cascade of warnings for simply not defining a single variable and using it everywhere. This way the warnings point closer to the root cause rather than "symptoms" from using values derived from uninitialized variables. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42067 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-17Renamed file due to mispelling.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42056 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-17UninitialuzedValues now only tracks BlockVarDecls; obviating false positives ↵Ted Kremenek
with globals and function parameters. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42055 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-17More progress on UnitializedValues checker. We now have preliminary supportTed Kremenek
for reporting errors and running the checker. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42046 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-17Split tracking of unitialized values for Decls and CFGBlock-level expressions.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42041 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-17Removed "ObserverTy" from core DataflowValues types. The observerTed Kremenek
mechanism can be implemented simply by affixing the Observer to an analysis meta data, so it doesn't need to be a required type. This also permits analyses not to implement an Observer if it doesn't make sense. Changed "DataflowValues::MetaDataTy" to "DataflowValues::AnalysisDataTy" to reflect that the type enscapsulated the data associated with analyzing a given CFG. Changed CFGStmtVisitor::BlockStmt_VisitImplicitControlFlowStmt(Stmt*) to ...VisitImplicitControlFlowExpr(Expr*). The type narrowing is more precise and more useful to clients. Added CFGStmtVisitor::BlockStmt_VisitExpr to reflect the visitation of expressions at the block statement level. This captures all implicit control-flow statements as well as other expressions that are hoisted to the block level (such as conditions for terminators and function calls). This is especially useful for dataflow analysis. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42034 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-15switch the various CFG-based stuff over to using ASTConsumer interface,Chris Lattner
this eliminates their dependence on the preprocessor and eliminates some duplicated code. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41993 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-15fix commentChris Lattner
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41988 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-14Prototype implementation of new template-based dataflow solver.Ted Kremenek
Preliminary implementation of UninitializedValues, which is based on new solver (doesn't work yet, but compiles). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41970 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-13Move Decl::NextDeclarator (w/ setters/getters) down to ScopedDecl/FieldDecl.Steve Naroff
Decl is now svelte:-) git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41935 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-13make the sourcemgr available through ASTContext.Chris Lattner
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41906 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-12Minor space tightening.Ted Kremenek
Removed extraneous call to Observer->ObserveStmt when handling DeclRefExprs. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41890 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-12Fixed recursion bug: should call Visit on child instead of VisitStmt.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41888 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-12Migrated LiveVariables to use the new DataflowStmtVisitor interface. The codeTed Kremenek
is much simpler now. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41885 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-11For looking at "dead stores" in declarations, we now check to seeTed Kremenek
if the assigned value is a constant expression, e.g.: int x = 0; We then check to see if "x" is ever reassigned later. If so, we don't emit a warning. This is because programmers frequently use defensive programming to make sure a variable has a defined value. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41853 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-11Fixed potential NULL dereference when iterating over a chain of Decls.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41848 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-11get rid of ugly "warning: no newline at end of file"Gabor Greif
warnings that some compilers diagnose git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41847 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-10Fixed LiveVariables to no longer track the liveness of function pointersTed Kremenek
that refer to direct function calls. Modified interface of LiveVariables to only track liveness of VarDecls. This cleans up a bunch of edge cases, and removed the bug just mentioned. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41797 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-10Renaming of the LiveVariablesAuditor interface. Changed "Auditor" andTed Kremenek
"Audit" to "Observer" and "Observe" git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41794 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-06Added more checking in "dead stores" for values that are initializedTed Kremenek
but never used. Fix a bug in LiveVariables where uses on the LHS of self-assign operators (e.g +=, *=, etc) would not be properly recorded in the liveness state of the variable. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41757 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-06Minor bug fixes to corner cases where LiveVariables would crash on some CFGsTed Kremenek
that contained no declarations, or when a variable is declared but never used. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41756 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-06Forgot to check in the actual "dead stores" checker in the last commit!Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41755 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-06Added "Dead Stores", a flow-sensitive checker that checks for storesTed Kremenek
to variables that are no longer live. This analysis is built on top of CFGs and the LiveVariables analysis. changes to driver: added driver option "-check-dead-stores" to run the analysis git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41754 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-06LiveVariables:Ted Kremenek
- Finished 99% of analysis logic. Probably a few bugs. - Added querying functions to query liveness. - Added better pretty printing of liveness. - Added better bookkeeping of per-variable liveness information. - Added LiveVariablesAuditor interface, which allows "lazy" querying of intra-basic block liveness information. Driver: - Minor cleanups involved in dumping liveness information. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41753 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-06Added an early implementation of Live-Variables analysis built onTed Kremenek
source-level CFGs. This code may change significantly in the near future as we explore different means to implement dataflow analyses. Added a driver option, -dump-live-variables, to view the output of live variable analysis. This output is very ALPHA; it will be improved shortly. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41737 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-09-24 09:26:58 +0000