Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / c05babe58ca0fe825a2c4d362f132f409217e39a / lib / Checker / ExplodedGraph.cpp
  1. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/ExplodedGraph.cpp]
  2. 3958b50 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 15 years ago
  3. 5fe4d9d 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 · 15 years ago
  4. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  5. 38b02b9 Core analysis engine template cleanup step 2: by Zhongxing Xu · 15 years ago
  6. 619d302 When profiling an ExplodedNode, don't re-profile the state: they have by Ted Kremenek · 15 years ago
  7. c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 15 years ago
  8. 10aa554 Use the correct data structures! by Ted Kremenek · 16 years ago
  9. df96929 Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do a by Ted Kremenek · 16 years ago
  10. fe9e543 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 16 years ago
  11. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  12. 3148eb4 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 · 16 years ago
  13. 2e28754 Added "Auditor" interface for auditing the construction of ExplodedGraphs. by Ted Kremenek · 16 years ago
  14. 45b8789 Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. by Ted Kremenek · 16 years ago
  15. 5fc073f Use back() instead of end()-1 by Argyrios Kyrtzidis · 17 years ago
  16. 7b98957 Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis! by Ted Kremenek · 17 years ago
  17. 33c6369 In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using by Ted Kremenek · 17 years ago
  18. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/ExplodedGraph.cpp]
  19. 7ec07fd Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS by Ted Kremenek · 17 years ago
  20. ffe0f43 Added --trim-path-graph to the driver to trim paths from the ExplodedGraph by Ted Kremenek · 17 years ago
  21. 596f0a1 Fixed a horribly insidious bit-masking bug in the implementation of by Ted Kremenek · 17 years ago
  22. 5226755 Fixed subtle caching bug in ExplodedGraph that would cause some nodes to by Ted Kremenek · 17 years ago
  23. 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
  24. 45c63bd Fixed bit-setting bug for ExplodedNodeImpl::NodeGroup. by Ted Kremenek · 17 years ago
  25. 160760e Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 17 years ago
  26. a5a1ef4 Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly by Ted Kremenek · 17 years ago
  27. d880c18 Moved destructor logic of templated class ExplodedGraph to non-templated by Ted Kremenek · 17 years ago
  28. 9eb49a4 Created ExplodedGraph.cpp and moved most method implementations of by Ted Kremenek · 17 years ago