Commits · 66279073f78bc5546ab7ed9b157a80767a8c741b · Roger Ferrer / llvm-epi-0.8

Apr 15, 2008
- Bug fix in dead stores: don't always check the liveness of the first decl · 66279073
  Ted Kremenek authored Apr 15, 2008
```
in a DeclStmt.

llvm-svn: 49708
```
  66279073
- ++/-- makes a variable live since it is used; thus the liveness state is · cd76f95d
  Ted Kremenek authored Apr 15, 2008
```
"Alive" as opposed to staying the same.

llvm-svn: 49707
```
  cd76f95d
- Bug fix in LiveVariables: Operators ++/-- may kill a value, but the variable · f4212bdb
  Ted Kremenek authored Apr 15, 2008
```
is still live.

llvm-svn: 49705
```
  f4212bdb
Apr 14, 2008
- Don't flag dead stores that occur in macros. · 87bfc03f
  Ted Kremenek authored Apr 14, 2008
```
llvm-svn: 49672
```
  87bfc03f
- Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available. · bae225d5
  Ted Kremenek authored Apr 14, 2008
```
llvm-svn: 49668
```
  bae225d5
- Bug fix in dead-store checker when walking the Decls in a DeclStmt: don't · 75ff623e
  Ted Kremenek authored Apr 14, 2008
```
assume that DeclStmts only have VarDecls; they can have TypedefDecls.

llvm-svn: 49662
```
  75ff623e
- Treat calls to unresolved functions in the CF-ref count checker as calls · 12e721a7
  Ted Kremenek authored Apr 14, 2008
```
to functions with NULL summaries.

llvm-svn: 49660
```
  12e721a7
- Hooked up the dead-store checker to the BugReporter interface. Now dead-store · 7e15130d
  Ted Kremenek authored Apr 14, 2008
```
warnings are emitted as part of the warnings registered by GRSimpleVals.

llvm-svn: 49658
```
  7e15130d
Apr 12, 2008
- Add some boilerplate to report memory leaks at the end of an analyzed function. · 8784a7c0
  Ted Kremenek authored Apr 11, 2008
```
Still need some boilerplate in BugReporter to report bugs at the end
of a function (not associated with a particular statement).

llvm-svn: 49564
```
  8784a7c0
- Added "GREndPathNodeBuilder", a new node builder that will be used for · 811c2b4e
  Ted Kremenek authored Apr 11, 2008
```
evaluating transfer functions at the end-of-path.

llvm-svn: 49561
```
  811c2b4e
Apr 11, 2008
- Added FIXME · 0a86fdb1
  Ted Kremenek authored Apr 11, 2008
```
llvm-svn: 49558
```
  0a86fdb1
- Fix regression introduced by my last commit. · 831f3275
  Ted Kremenek authored Apr 11, 2008
```
llvm-svn: 49556
```
  831f3275
- Changed behavior of how we handle "NULL" summaries: just call · a7c44113
  Ted Kremenek authored Apr 11, 2008
```
GRSimpleVals::EvalCal(), and don't change reference counts.

Remove "getDoNothingSummary()", as a NULL summary does the same thing.

Added temporary hack for the "Get" rule for objects that return a pointer type:
treat them as non-owned CF objects.

Added test case to detect the release of a non-owned object.

llvm-svn: 49555
```
  a7c44113
- Use RangedBugReport to report better ranges for reference count errors. · 988990f8
  Ted Kremenek authored Apr 11, 2008
```
llvm-svn: 49552
```
  988990f8
- Added "RangedBugReport". · 6e38ffa5
  Ted Kremenek authored Apr 11, 2008
```
llvm-svn: 49551
```
  6e38ffa5
- Fixed some logic errors in the CF ref count checker; we now can detect simple · 4b772096
  Ted Kremenek authored Apr 10, 2008
```
use-after-release errors.  Added test case.

llvm-svn: 49509
```
  4b772096
- 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
- When not emitting path diagnostics in BugReporter::EmitWarning(), use the · 42d9db75
  Ted Kremenek authored Apr 10, 2008
```
BugReport-specific SourceRanges (when available).

llvm-svn: 49486
```
  42d9db75
- Fixed regressions in error reporting due to copy-paste errors (using the "begin" · 83744ddb
  Ted Kremenek authored Apr 10, 2008
```
iterator instead of "end") and not implementing "getDescription()" for Nil
argument checks.

llvm-svn: 49485
```
  83744ddb
- 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
Added new "BugReporterHelper" class which is used by BugReporter to emit · 3cef454e
Ted Kremenek authored Apr 09, 2008
```
checker-specific diagnostics.

llvm-svn: 49412
```
3cef454e

Apr 08, 2008
- Improve BugReport diagnostics for loops and ? operator. · e73006ee
  Ted Kremenek authored Apr 07, 2008
```
llvm-svn: 49356
```
  e73006ee
Apr 06, 2008
- templates can't be static. · 1e830c07
  Chris Lattner authored Apr 06, 2008
```
llvm-svn: 49258
```
  1e830c07
Apr 03, 2008
- Added investigate patch for an occasionally failing assertion (heisenbug?) · d1a2efad
  Ted Kremenek authored Apr 03, 2008
```
llvm-svn: 49193
```
  d1a2efad
- Better range highlight for undefined-argument checks. · 10569cdd
  Ted Kremenek authored Apr 03, 2008
```
llvm-svn: 49184
```
  10569cdd
- When reporting "bad receiver" warnings, highlight the receiver. · 5f559206
  Ted Kremenek authored Apr 03, 2008
```
llvm-svn: 49183
```
  5f559206
- Use "getRanges" in default implementation of "getEndPath" to determine · 89575b7b
  Ted Kremenek authored Apr 03, 2008
```
the ranges of highlighted elements in the source code.

llvm-svn: 49181
```
  89575b7b
- Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use · cb2dc8ec
  Ted Kremenek authored Apr 03, 2008
```
the new BugReporter interface.

llvm-svn: 49180
```
  cb2dc8ec
- Handle the case when getEndPath() returns NULL. · ca406642
  Ted Kremenek authored Apr 03, 2008
```
llvm-svn: 49155
```
  ca406642
- Add back bug name to PathDiagnostic. · e4c029e7
  Ted Kremenek authored Apr 03, 2008
```
llvm-svn: 49139
```
  e4c029e7
- When creating PathDiagnostics, created a trimmed graph first and report the · 4e9cc3f2
  Ted Kremenek authored Apr 03, 2008
```
BFS path to the root.  This also avoids problems with loops in the ExplodedGraph.

llvm-svn: 49133
```
  4e9cc3f2
- Created new path-sensitive bug-reporting scheme based on the classes · 505a36af
  Ted Kremenek authored Apr 03, 2008
```
"BugReporter" and "BugDescription".  BugDescription is used to describe
a bug and provide pieces of the PathDiagnostic, and BugReporter creates
the actual PathDiagnostic by crawling through the ExplodedGraph.

Migrated checks done by GRSimpleVals to be reported using the new BugReporter
mechanism.

llvm-svn: 49127
```
  505a36af
- 80 col violation · 33d03a52
  Ted Kremenek authored Apr 02, 2008
```
llvm-svn: 49120
```
  33d03a52
- Added more PathDiagnostic rendering for terminators: switch, goto, loops. · 744fb6d9
  Ted Kremenek authored Apr 02, 2008
```
llvm-svn: 49119
```
  744fb6d9
Apr 02, 2008
- Shorted bug-description. · 383bfd27
  Ted Kremenek authored Apr 02, 2008
```
llvm-svn: 49102
```
  383bfd27