index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
clang
/
lib
/
Analysis
/
ExplodedGraph.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fix clang's use of DenseMap iterators after r86636 fixed their constness.
Jeffrey Yasskin
2009-11-10
1
-1
/
+1
*
Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding mal...
Ted Kremenek
2009-10-07
1
-35
/
+26
*
Remove tabs, and whitespace cleanups.
Mike Stump
2009-09-09
1
-35
/
+35
*
Core analysis engine template cleanup step 2:
Zhongxing Xu
2009-08-06
1
-11
/
+52
*
When profiling an ExplodedNode, don't re-profile the state: they have
Ted Kremenek
2009-08-06
1
-1
/
+1
*
As GRState seems general enough, it is time to merge some template classes
Zhongxing Xu
2009-08-06
1
-33
/
+41
*
Use the correct data structures!
Ted Kremenek
2009-03-12
1
-5
/
+3
*
Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do a
Ted Kremenek
2009-02-20
1
-111
/
+42
*
Hooked up the necessary machinery to allow the retain/release checker reference
Ted Kremenek
2009-02-18
1
-1
/
+4
*
Overhaul BugReporter interface and implementation. The new interface cleans up
Ted Kremenek
2009-02-04
1
-10
/
+32
*
More hacking on static analyzer diagnostics. When emitting summary diagnosti...
Ted Kremenek
2009-01-24
1
-13
/
+12
*
Added "Auditor" interface for auditing the construction of ExplodedGraphs.
Ted Kremenek
2008-08-27
1
-0
/
+23
*
Make implementation of ExplodedNodeImpl::addPredecessor out-of-line.
Ted Kremenek
2008-08-27
1
-0
/
+6
*
Use back() instead of end()-1
Argyrios Kyrtzidis
2008-04-22
1
-2
/
+2
*
Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis!
Ted Kremenek
2008-04-20
1
-2
/
+5
*
In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using
Ted Kremenek
2008-04-16
1
-5
/
+34
*
Make a major restructuring of the clang tree: introduce a top-level
Chris Lattner
2008-03-15
1
-0
/
+227