Age | Commit message (Expand) | Author |
---|---|---|
2008-04-15 | Fix bug in terminator processing for uninitialized-values: simply ignore the ... | Ted Kremenek |
2008-03-13 | The LiveVariables analysis no longer requires a FunctionDecl&; this allows it | Ted Kremenek |
2008-01-29 | Modified LiveVariables to perform all of its base initialization in the ctor, | Ted Kremenek |
2008-01-17 | Modified the notion of "Block-level expressions" in CFGs to include Stmt*. This | Ted Kremenek |
2008-01-17 | Added support to dataflow solver to (when requested) also record dataflow | Ted Kremenek |
2008-01-11 | Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdge | Ted Kremenek |
2007-12-29 | Don't attribute in file headers anymore. See llvmdev for the | Chris Lattner |
2007-12-21 | Directory restructing of Analysis files. | Ted Kremenek |