| Age | Commit message (Expand) | Author |
|---|
| 2008-04-14 | Hooked up the dead-store checker to the BugReporter interface. Now dead-store | Ted Kremenek |
| 2008-04-11 | Added "EvalEndPath" to GRTransferFuncs: the default implementation does not | Ted Kremenek |
| 2008-04-11 | Added "GREndPathNodeBuilder", a new node builder that will be used for | Ted Kremenek |
| 2008-04-09 | Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. | Ted Kremenek |
| 2008-04-03 | Make typedefs public. | Ted Kremenek |
| 2008-04-03 | Added missing #ifndef...#define...#endif directives to protect against | Ted Kremenek |
| 2008-03-31 | Added path-sensitive check for return statements that return the address | Ted Kremenek |
| 2008-03-27 | Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless ... | Ted Kremenek |
| 2008-03-25 | GRSimple analysis now outputs additional diagnostic warnings about | Ted Kremenek |
| 2008-03-25 | Tweak to transfer function for ObjCMessageExpr: handle both instance methods | Ted Kremenek |
| 2008-03-25 | Added logic to check for uninitialized values as the receivers for message ex... | Ted Kremenek |
| 2008-03-25 | Added initial transfer function support for ObjCMessageExpr. | Ted Kremenek |
| 2008-03-21 | Rename "Nodify" to "MakeNode" | Ted Kremenek |
| 2008-03-17 | Added initial transfer function support for inline asm. | Ted Kremenek |
| 2008-03-14 | Emit warnings for undefined control-flow. | Ted Kremenek |
| 2008-03-13 | The LiveVariables analysis no longer requires a FunctionDecl&; this allows it | Ted Kremenek |
| 2008-03-12 | Prototype (pre-alpha) implementation of CFRef checker. | Ted Kremenek |
| 2008-03-11 | Expanded graph visualization interface to include specifying a range of | Ted Kremenek |
| 2008-03-10 | Add transfer function support for pointer arithmetic where the | Ted Kremenek |
| 2008-03-10 | More cleanups with using the liveness analysis to removed dead symbols and | Ted Kremenek |
| 2008-03-09 | When processing the transfer function for a statement, evaluate | Ted Kremenek |
| 2008-03-09 | Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into the | Ted Kremenek |
| 2008-03-09 | Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat... | Ted Kremenek |
| 2008-03-07 | Added --trim-path-graph to the driver to trim paths from the ExplodedGraph | Ted Kremenek |
| 2008-03-07 | Renamed ValueManager to BasicValueFactory. | Ted Kremenek |
| 2008-03-07 | Refined divide-by-zero checking to distinguish between must and may | Ted Kremenek |
| 2008-03-05 | remove the source location arguments to various target query methods. | Chris Lattner |
| 2008-03-05 | Plug-in transfer function "EvalCall" now takes as an argument the current | Ted Kremenek |
| 2008-03-05 | Cleaned up typedefs involving StateTy so that we always use "StateTy*" instea... | Ted Kremenek |
| 2008-03-04 | Make GRStmtNodeBuilder only depend on StateTy, and not the type definition | Ted Kremenek |
| 2008-03-04 | Moved implementation of GRExprEngine::Nodify into GRStmtNodeBuilder. This will | Ted Kremenek |
| 2008-03-04 | Moved GRExprEngine::NodeSet out of GRExprEngine and made it a standalone clas... | Ted Kremenek |
| 2008-03-04 | Fixed insidious state propagation bug that would sometimes cause the state | Ted Kremenek |
| 2008-03-04 | Enhanced pretty-printing of undefined-argument errors. | Ted Kremenek |
| 2008-03-01 | newline at end of file, by David Chisnall | Chris Lattner |
| 2008-02-29 | Added extra check for calls to functions where we pass undefined values | Ted Kremenek |
| 2008-02-29 | Add checks for function calls via a function pointer that is NULL, Undefined, | Ted Kremenek |
| 2008-02-29 | "Refinement" of hack to bound loop-traversals: visit any block at a maximum o... | Ted Kremenek |
| 2008-02-28 | Added checking for undefined results of '<<' and '>>' (shifting by too many b... | Ted Kremenek |
| 2008-02-28 | Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:... | Ted Kremenek |
| 2008-02-28 | Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. | Ted Kremenek |
| 2008-02-27 | End paths when calling a function marked "noreturn." | Ted Kremenek |
| 2008-02-27 | When analyzing a function, eagerly create symbolic values for all | Ted Kremenek |
| 2008-02-27 | Header file cleanups: reduce number of includes; move ValueState.h into inclu... | Ted Kremenek |
| 2008-02-26 | Fix bug when processing '?' operator: invalidate the old "Uninitialized" valu... | Ted Kremenek |
| 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 |
