Commits · de615836f31d032025a98008082652e83c74da01 · Roger Ferrer / llvm-epi-0.8

Apr 11, 2008
- Simplify CF ref. count checker state machine. · 3c03d52d
  Ted Kremenek authored Apr 10, 2008
```
llvm-svn: 49505
```
  3c03d52d
- Fix some bonehead bugs in summary generation in CFRefCount. · 22bd6280
  Ted Kremenek authored Apr 10, 2008
```
llvm-svn: 49503
```
  22bd6280
- Refactored all logic to run the GRSimpleVals and CFRef checker into a common · 4a78c3ae
  Ted Kremenek authored Apr 10, 2008
```
code path in the clang driver.

Renamed options --grsimple to -checker-simple and -check-cfref to -checker-cfref.

llvm-svn: 49500
```
  4a78c3ae
Apr 10, 2008
- CFRefCount analysis now properly calls "EmitWarnings" after analyzing a function. · ea1bc3be
  Ted Kremenek authored Apr 10, 2008
```
llvm-svn: 49488
```
  ea1bc3be
- Hooked up initial reference-count checks to the BugReporter interface. · c8bef6a0
  Ted Kremenek authored Apr 09, 2008
```
llvm-svn: 49455
```
  c8bef6a0
Apr 09, 2008

Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. · 7acc3a36

Ted Kremenek authored Apr 09, 2008

Bugs are now reported using a combination of "BugType" (previously
BugDescription) and Bug "BugReport" objects, which are fed to BugReporter (which
generates PathDiagnostics). This provides a far more modular way of registering
bug types and plugging in diagnostics.

GRExprEngine now owns its copy of GRCoreEngine, and is not owned by the
ExplodedGraph.

ExplodedGraph is no longer templated on the "checker", but instead on the state
contained in the nodes.

llvm-svn: 49453

7acc3a36

Added some boilerplate for emitting warnings from the CF-reference count checker. · ce8e881d
Ted Kremenek authored Apr 09, 2008
```
llvm-svn: 49414
```
ce8e881d

Mar 31, 2008

Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removed · c27815ca

Ted Kremenek authored Mar 31, 2008

GRSimpleVals.h

Added a PathDiagnosticClient option to the driver functions for the
CFRefCountChecker and the GRSimpleVals analysis. Both analyses now accept a "-o"
argument from the driver that specifies where HTML reports should be dumped.

llvm-svn: 48989

c27815ca

Mar 21, 2008
- Rename "Nodify" to "MakeNode" · 181f7236
  Ted Kremenek authored Mar 21, 2008
```
llvm-svn: 48659
```
  181f7236
Mar 16, 2008

Make a major restructuring of the clang tree: introduce a top-level · 7a51313d

Chris Lattner authored Mar 15, 2008

lib dir and move all the libraries into it.  This follows the main
llvm tree, and allows the libraries to be built in parallel.  The
top level now enforces that all the libs are built before Driver,
but we don't care what order the libs are built in.  This speeds
up parallel builds, particularly incremental ones.

llvm-svn: 48402

7a51313d

Mar 14, 2008

Path-sensitive analyses no longer take a FunctionDecl, but any Decl representing · 7b00d15b

Ted Kremenek authored Mar 14, 2008

a block of "code".

Patched various ASTConsumers (such as ASTDumper) to have more support for
processing ObjCMethodDecl. CFGVisitor now builds CFGs for ObjCMethodDecls.

llvm-svn: 48363

7b00d15b

Mar 12, 2008

Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be... · e2f6d6cd

Ted Kremenek authored Mar 12, 2008

Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs.
Added experimental support for conjuring symbols during assingments where the RHS is "unknown". This allows more value tracking for path-sensitivity.
Fixed bug in "assumption" logic when processing symbolic constraints; we would improperly mark constraints we didn't support as infeasible.

llvm-svn: 48306

e2f6d6cd

Added generation of symbolic values for the return values of functions that have · 626bd2d3
Ted Kremenek authored Mar 12, 2008
```
no summaries (useful for false-path pruning).

llvm-svn: 48301
```
626bd2d3
Prototype (pre-alpha) implementation of CFRef checker. · 68d73d19
Ted Kremenek authored Mar 12, 2008
```
llvm-svn: 48272
```
68d73d19

Mar 11, 2008
- Added pretty-printing support for checker-specific state for the CFRefCount checker. · 2a723e6e
  Ted Kremenek authored Mar 11, 2008
```
llvm-svn: 48242
```
  2a723e6e
- Added bookkeeping of error nodes. · e5605568
  Ted Kremenek authored Mar 11, 2008
```
llvm-svn: 48234
```
  e5605568
- Added main logic for typestate tracking for the CFRetain checker. · bf9d8048
  Ted Kremenek authored Mar 11, 2008
```
llvm-svn: 48231
```
  bf9d8048
- Added main skeleton for CFRetain transfer function logic. · 819e9b6f
  Ted Kremenek authored Mar 11, 2008
```
llvm-svn: 48214
```
  819e9b6f
Mar 07, 2008
- Renamed ValueManager to BasicValueFactory. · 910e9de1
  Ted Kremenek authored Mar 07, 2008
```
llvm-svn: 48025
```
  910e9de1
Mar 06, 2008
- fix typos · 3a8edd85
  Gabor Greif authored Mar 06, 2008
```
llvm-svn: 47995
```
  3a8edd85
- Added boilerplate to execute the CF reference count checker (which isn't yet implemented). · ea6507fe
  Ted Kremenek authored Mar 06, 2008
```
llvm-svn: 47982
```
  ea6507fe