| Age | Commit message (Expand) | Author |
|---|
| 2008-02-26 | Added boilerplate for plug-in transfer function support for CallExprs. | Ted Kremenek |
| 2008-02-26 | Removed static analysis-specific diagnostics from DiagnosticKinds.def. | Ted Kremenek |
| 2008-02-26 | Major cleanup of the transfer function logic for '&&', '||', and '?'. We | Ted Kremenek |
| 2008-02-26 | Added lazy "symbolication" of parameter variables and global variables. | Ted Kremenek |
| 2008-02-25 | Added transfer function support for checking for divide-by-zero errors. | Ted Kremenek |
| 2008-02-22 | Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified | Ted Kremenek |
| 2008-02-21 | Regression fix: Handle binary operators where both the left and right | Ted Kremenek |
| 2008-02-21 | RemoveDeadBindings should now check for UninitalizedVal, as it is a now | Ted Kremenek |
| 2008-02-21 | Simplified and generalized transfer function logic for casts, allowing | Ted Kremenek |
| 2008-02-21 | Major cleanup of path-sensitive analysis engine and the current analysis | Ted Kremenek |
| 2008-02-20 | Implemented transfer function logic for unary '+' | Ted Kremenek |
| 2008-02-20 | Placed transfer function logic for dereferences in its own method, while at | Ted Kremenek |
| 2008-02-19 | Added special handling for UninitializedVals for the transfer function logic | Ted Kremenek |
| 2008-02-19 | Implemented "getType()" for symbolic values representing the "contents" of | Ted Kremenek |
| 2008-02-19 | Fixed bug classof() bug with RValues that could cause an UninitializedVal | Ted Kremenek |
| 2008-02-19 | Added boilerplate transfer function support for CallExprs. | Ted Kremenek |
| 2008-02-19 | --grsimple now reports the number of nodes in the ExplodedGraph for | Ted Kremenek |
| 2008-02-18 | Added "size()" and "empty()" methods to ExplodedGraphImpl. | Ted Kremenek |
| 2008-02-18 | Added more assertions and checks in transfer function logic to check for | Ted Kremenek |
| 2008-02-16 | Further cleanup. Moved definitions for SymbolManager and ValueManager into | Ted Kremenek |
| 2008-02-15 | Refactored code for transfer functions for binary operators involving two LVa... | Ted Kremenek |
| 2008-02-15 | Simplified transfer function logic for ++/-- operators. | Ted Kremenek |
| 2008-02-15 | Added boilerplate transfer function support for pointer arithmetic operations. | Ted Kremenek |
| 2008-02-15 | Added --grsimple-view option to clang driver; this is the same as | Ted Kremenek |
| 2008-02-14 | Added "symbol iterators" for RValues, allowing easy iteration over the symbols | Ted Kremenek |
| 2008-02-14 | Renamed GRConstants => GRSimpleVals. | Ted Kremenek |
| 2008-02-14 | #include cleanups in GRExprEngine.cpp/GRExprEngine.h. Moved GRExprEngine to | Ted Kremenek |
| 2008-02-14 | Partitioned definition/implementation of GRExperEngine into .h and .cpp. | Ted Kremenek |
| 2008-02-14 | Migrated transfer functions for binary operators for simple value tracking | Ted Kremenek |
| 2008-02-14 | Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimple... | Ted Kremenek |
| 2008-02-14 | Started partitioning of transfer function logic (and thus the policy behind | Ted Kremenek |
| 2008-02-14 | Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". | Ted Kremenek |
| 2008-02-13 | Added support to GRCoreEngine/GRExprEngine for processing control-flow | Ted Kremenek |
| 2008-02-13 | Renamed files to match class renaming in r47070: | Ted Kremenek |
| 2008-02-13 | Renamed class GREngine => GRCoreEngine. | Ted Kremenek |
| 2008-02-13 | Simplify GRIndirectGotoNodeBuilder. | Ted Kremenek |
| 2008-02-13 | Added support to GREngine/GRConstants for handling computed gotos. | Ted Kremenek |
| 2008-02-12 | Added GRBlockCounter class, which tracks the number of times blocks | Ted Kremenek |
| 2008-02-07 | Added proof-of-concept NULL pointer diagnostics to GRConstants. | Ted Kremenek |
| 2008-02-05 | ValueManager now uses the BumpPtrAllocator owned by the ExplodedGraph. | Ted Kremenek |
| 2008-02-05 | Implemented initial transfer function support for '&&', '||', '?', and | Ted Kremenek |
| 2008-01-30 | We now delay adding nodes created by GRBranchNodeBuilder to the analysis | Ted Kremenek |
| 2008-01-30 | Implemented some branch pruning in GRConstants using != and == for | Ted Kremenek |
| 2008-01-29 | Added method "markInfeasible" to GRBranchNodeBuilder to disable the | Ted Kremenek |
| 2008-01-29 | Implemented more boilerplate in GREngine for processing branches. Now | Ted Kremenek |
| 2008-01-29 | Added boilerplate logic in GREngine for processing branches. | Ted Kremenek |
| 2008-01-29 | Renamed GRNodeBuilder to GRStmtNodeBuilder. | Ted Kremenek |
| 2008-01-29 | Modified LiveVariables to perform all of its base initialization in the ctor, | Ted Kremenek |
| 2008-01-29 | Driver now passes the top-level FunctionDecl* to GRConstants. | Ted Kremenek |
| 2008-01-24 | Added passing "ASTContext" to both GREngine and GRConstants. | Ted Kremenek |
