Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / ada75c5ad10b01dae20169f18b329a7860052d74 / clang / lib / Checker / ExplodedGraph.cpp
  1. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (98%) from clang/lib/Analysis/ExplodedGraph.cpp]
  2. 612e380 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 16 years ago
  3. c3661de Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding malloc() traffic when adding successors/predecessors to a node. This was done by introducing BumpVector, which is essentially SmallVector with all memory being BumpPtrAllocated (this can certainly be cleaned up or moved into llvm/ADT). by Ted Kremenek · 16 years ago
  4. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  5. c90a0c2 Core analysis engine template cleanup step 2: by Zhongxing Xu · 16 years ago
  6. ed31f99 When profiling an ExplodedNode, don't re-profile the state: they have by Ted Kremenek · 16 years ago
  7. 20227f7 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 16 years ago
  8. e413a76 Use the correct data structures! by Ted Kremenek · 17 years ago
  9. b087942 Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do a by Ted Kremenek · 17 years ago
  10. 48d1645 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 17 years ago
  11. fc5d067 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 17 years ago
  12. f08ac27 More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup. by Ted Kremenek · 17 years ago
  13. 912c284 Added "Auditor" interface for auditing the construction of ExplodedGraphs. by Ted Kremenek · 17 years ago
  14. 6f7c419 Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. by Ted Kremenek · 17 years ago
  15. 901a4e4 Use back() instead of end()-1 by Argyrios Kyrtzidis · 18 years ago
  16. 5fa90e4 Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis! by Ted Kremenek · 18 years ago
  17. 08e562d In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using by Ted Kremenek · 18 years ago
  18. 7a51313 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 18 years ago[Renamed from clang/Analysis/ExplodedGraph.cpp]
  19. 576b76a Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS by Ted Kremenek · 18 years ago
  20. 2bdd776 Added --trim-path-graph to the driver to trim paths from the ExplodedGraph by Ted Kremenek · 18 years ago
  21. c156f1f Fixed a horribly insidious bit-masking bug in the implementation of by Ted Kremenek · 18 years ago
  22. 3f06864 Fixed subtle caching bug in ExplodedGraph that would cause some nodes to by Ted Kremenek · 18 years ago
  23. e81734b Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 18 years ago
  24. ee2d5a5 Fixed bit-setting bug for ExplodedNodeImpl::NodeGroup. by Ted Kremenek · 18 years ago
  25. e914bb8 Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 18 years ago
  26. deac519 Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly by Ted Kremenek · 18 years ago
  27. d122bbd Moved destructor logic of templated class ExplodedGraph to non-templated by Ted Kremenek · 18 years ago
  28. eb370bc Created ExplodedGraph.cpp and moved most method implementations of by Ted Kremenek · 18 years ago