Commits · fcb4ab44207932e1dffb7943eb73270bb077950b · Roger Ferrer / llvm-epi-0.8 · GitLab

This is an archived project. Repository and other project resources are read-only.

Oct 07, 2009
- Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding... · c3661dec
  Ted Kremenek authored Oct 07, 2009
  c3661dec
Sep 09, 2009
- Remove tabs, and whitespace cleanups. · 11289f42
  Mike Stump authored Sep 09, 2009
  11289f42
Aug 06, 2009
- Core analysis engine template cleanup step 2: · c90a0c2e
  Zhongxing Xu authored Aug 06, 2009
  c90a0c2e
- When profiling an ExplodedNode, don't re-profile the state: they have · ed31f99e
  Ted Kremenek authored Aug 06, 2009
  ed31f99e
- As GRState seems general enough, it is time to merge some template classes · 20227f71
  Zhongxing Xu authored Aug 06, 2009
  20227f71
Mar 13, 2009
- Use the correct data structures! · e413a760
  Ted Kremenek authored Mar 12, 2009
  e413a760
Feb 20, 2009
- Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do a · b0879427
  Ted Kremenek authored Feb 20, 2009
  b0879427
Feb 18, 2009
- Hooked up the necessary machinery to allow the retain/release checker reference · 48d16451
  Ted Kremenek authored Feb 18, 2009
  48d16451
Feb 05, 2009
- Overhaul BugReporter interface and implementation. The new interface cleans up · fc5d067e
  Ted Kremenek authored Feb 04, 2009
  fc5d067e
Jan 24, 2009
- More hacking on static analyzer diagnostics. When emitting summary... · f08ac278
  Ted Kremenek authored Jan 24, 2009
  f08ac278
Aug 27, 2008
- Added "Auditor" interface for auditing the construction of ExplodedGraphs. · 912c2844
  Ted Kremenek authored Aug 27, 2008
  912c2844
- Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. · 6f7c4193
  Ted Kremenek authored Aug 27, 2008
  6f7c4193
Apr 22, 2008
- Use back() instead of end()-1 · 901a4e40
  Argyrios Kyrtzidis authored Apr 22, 2008
  901a4e40
Apr 21, 2008
- Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis! · 5fa90e49
  Ted Kremenek authored Apr 20, 2008
  5fa90e49
Apr 16, 2008
- In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using · 08e562d3
  Ted Kremenek authored Apr 16, 2008
  08e562d3
Mar 16, 2008
- Make a major restructuring of the clang tree: introduce a top-level · 7a51313d
  Chris Lattner authored Mar 15, 2008
  7a51313d
Mar 12, 2008
- Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS · 576b76a7
  Ted Kremenek authored Mar 12, 2008
  576b76a7
Mar 07, 2008
- Added --trim-path-graph to the driver to trim paths from the ExplodedGraph · 2bdd7769
  Ted Kremenek authored Mar 07, 2008
  2bdd7769
Mar 05, 2008
- Fixed a horribly insidious bit-masking bug in the implementation of · c156f1ff
  Ted Kremenek authored Mar 05, 2008
  c156f1ff
Mar 03, 2008
- Fixed subtle caching bug in ExplodedGraph that would cause some nodes to · 3f06864c
  Ted Kremenek authored Mar 03, 2008
  3f06864c
Feb 15, 2008
- Simplified transfer function logic for ++/-- operators. · e81734b0
  Ted Kremenek authored Feb 15, 2008
  e81734b0
Jan 30, 2008
- Fixed bit-setting bug for ExplodedNodeImpl::NodeGroup. · ee2d5a54
  Ted Kremenek authored Jan 29, 2008
  ee2d5a54
Jan 16, 2008
- Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly · e914bb81
  Ted Kremenek authored Jan 16, 2008
  e914bb81
- Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly · deac5194
  Ted Kremenek authored Jan 16, 2008
  deac5194
Jan 13, 2008
- Moved destructor logic of templated class ExplodedGraph to non-templated · d122bbdb
  Ted Kremenek authored Jan 13, 2008
  d122bbdb
- Created ExplodedGraph.cpp and moved most method implementations of · eb370bc3
  Ted Kremenek authored Jan 13, 2008
  eb370bc3