Commits · c76e74162261a953dee2534062b210271fb13386 · Lorenzo Albano / LLVM bpEVL · GitLab

Feb 06, 2009
- SymbolicRegions really have unknown sizes. · e4275533
  Zhongxing Xu authored Feb 06, 2009
  e4275533
- Create ElementRegion when the base is SymbolicRegion. This is like what we do · dec48a50
  Zhongxing Xu authored Feb 06, 2009
  dec48a50
- handle fatal errors, rely on warnings to point out missing cases. · b05f49e7
  Chris Lattner authored Feb 06, 2009
  b05f49e7
Feb 05, 2009
- Add 'AppendValue' to the list of magic CF function names that cause a tracked... · 0ca23d3f
  Ted Kremenek authored Feb 05, 2009
  0ca23d3f
- Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so · 9103df16
  Zhongxing Xu authored Feb 05, 2009
  9103df16
- Remove a bunch of obscene double-buffering of BugReports in the retain/release · 400aae7f
  Ted Kremenek authored Feb 05, 2009
  400aae7f
- Fix regression: Leak (BugType) object should have 'isLeak()' return true. · fb379b26
  Ted Kremenek authored Feb 05, 2009
  fb379b26
- Overhaul BugReporter interface and implementation. The new interface cleans up · fc5d067e
  Ted Kremenek authored Feb 04, 2009
  fc5d067e
Feb 04, 2009
- Remove dead code. · 6d5fe08e
  Zhongxing Xu authored Feb 04, 2009
  6d5fe08e
- make SM::getColumnNumber take a predecomposed FileID/offset, which · e4ad4176
  Chris Lattner authored Feb 04, 2009
  e4ad4176
Jan 30, 2009
- Fix horrible non-termination bug in LiveVariables. The issue was that · 378e7fd3
  Ted Kremenek authored Jan 30, 2009
  378e7fd3
- Move method out-of-line. · 0b0a6483
  Ted Kremenek authored Jan 30, 2009
  0b0a6483
- Switch Type::isAggregateType to use the C++ definition of "aggregate · ddb2485e
  Douglas Gregor authored Jan 30, 2009
  ddb2485e
- update for change in API. · 34beb046
  Chris Lattner authored Jan 30, 2009
  34beb046
- Fix a couple bugs: · 7594e2a5
  Ted Kremenek authored Jan 30, 2009
  7594e2a5
Jan 29, 2009
- retain/release checker: When generating summaries for CF/CG functions, allow... · ed90de4c
  Ted Kremenek authored Jan 29, 2009
  ed90de4c
- move library-specific diagnostic headers into library private dirs. Reduce · 60f36223
  Chris Lattner authored Jan 29, 2009
  60f36223
Jan 28, 2009
- Remove '#if 0' code. · b4dd3f86
  Ted Kremenek authored Jan 28, 2009
  b4dd3f86
- Remove method 'AddNE' from the public interface of ConstraintManager. · 2e561dd4
  Ted Kremenek authored Jan 28, 2009
  2e561dd4
- retain/release checker: Always generate an "autorelease" summary for an... · c7832096
  Ted Kremenek authored Jan 28, 2009
  c7832096
- retain/release checker: Improve diagnostics to indicate that CF objects are... · 4daeccf2
  Ted Kremenek authored Jan 28, 2009
  4daeccf2
- retain/release checker: Indicate whether a tracked object is a Core Foundation... · f0ec316a
  Ted Kremenek authored Jan 28, 2009
  f0ec316a
- retain/release checker: More diagnostic refactoring. · bdaa3844
  Ted Kremenek authored Jan 28, 2009
  bdaa3844
- retain/release checker: Embed an "object type" into the RetEffect/RetVal... · aeb115f9
  Ted Kremenek authored Jan 28, 2009
  aeb115f9
- retain/release checker: More cleanups (no real functionality change). · 21114f21
  Ted Kremenek authored Jan 28, 2009
  21114f21
- Fix diagnostic truncated by my last patch. · ff3c2bdf
  Ted Kremenek authored Jan 28, 2009
  ff3c2bdf
- retain/release checker: More diagnostic refactoring. · 758fda63
  Ted Kremenek authored Jan 28, 2009
  758fda63
- retain/release checker: Output the name of the function that allocates an object. · c4118ac7
  Ted Kremenek authored Jan 28, 2009
  c4118ac7
- Refactor some diagnostic code to use raw_string_ostream. No functionality change. · 424c61ff
  Ted Kremenek authored Jan 28, 2009
  424c61ff
- Remove '#if 0' code. · 99ae4120
  Ted Kremenek authored Jan 28, 2009
  99ae4120
Jan 27, 2009
- Split the single monolithic DiagnosticKinds.def file into one · 7368d581
  Chris Lattner authored Jan 27, 2009
  7368d581
- Fix bug in BasicStore::getLValueElement where if the base of an array... · 422d81dc
  Ted Kremenek authored Jan 27, 2009
  422d81dc
- Introduce a new PresumedLoc class to represent the concept of a location · f1ca7d3e
  Chris Lattner authored Jan 27, 2009
  f1ca7d3e
- PathDiagnostics: · a3f462e4
  Ted Kremenek authored Jan 27, 2009
  a3f462e4
Jan 26, 2009
- Correct size assumption; fixes a crash on amd64. · 54cb4c88
  Sebastian Redl authored Jan 26, 2009
  54cb4c88
- Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and... · e9193283
  Ted Kremenek authored Jan 26, 2009
  e9193283
Jan 25, 2009
- Rename Expr::isConstantExpr to Expr::isConstantInitializer; this more · 7139af42
  Eli Friedman authored Jan 25, 2009
  7139af42
Jan 24, 2009
- Fix crash ElementRegion::getRValueType() when the RvalueType of the... · b3fcaa7a
  Ted Kremenek authored Jan 24, 2009
  b3fcaa7a
- More hacking on static analyzer diagnostics. When emitting summary... · f08ac278
  Ted Kremenek authored Jan 24, 2009
  f08ac278
Jan 23, 2009
- Output summary diagnostic for each bug report. · 864ead20
  Ted Kremenek authored Jan 23, 2009
  864ead20