projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Create analysis model for string literals in disjointness analysis that supports...
[IRC.git]
/
Robust
/
src
/
Analysis
/
Disjoint
/
PointerMethod.java
2011-05-13
jjenista
model the allocation of string literals in heap analysis
blob
|
commitdiff
|
raw
2011-04-27
bdemsky
switch to spaces only..
blob
|
commitdiff
|
raw
|
diff to current
2011-04-27
bdemsky
Fix tabbing.... Please fix your editors so they do...
blob
|
commitdiff
|
raw
|
diff to current
2011-03-16
bdemsky
starting towards taints
blob
|
commitdiff
|
raw
|
diff to current
2010-10-11
jjenista
two methods for generating a reach graph at any desired...
blob
|
commitdiff
|
raw
|
diff to current
2010-06-22
jjenista
got the hooks in place to get taints for rblocks
blob
|
commitdiff
|
raw
|
diff to current
2010-03-31
jjenista
enforce strict monotonicity for initial method contexts...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-30
jjenista
bug fixes, make stack/Q method-visiting a cmd line...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
bdemsky
bug fixes and optimizations
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
bdemsky
little optimization to allow it to quickly recompute...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
bdemsky
code for Jim to use once he gets everything working...
blob
|
commitdiff
|
raw
|
diff to current