projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
adding a test case
[IRC.git]
/
Robust
/
src
/
IR
/
Flat
/
BCXallocsiteObjectField.java
2011-05-20
jjenista
allow Pointer to run for usual compilation modes.....
blob
|
commitdiff
|
raw
2011-05-16
jjenista
Create analysis model for string literals in disjointne...
blob
|
commitdiff
|
raw
|
diff to current
2011-05-14
jjenista
print allocation site when a points-to check fails...
blob
|
commitdiff
|
raw
|
diff to current
2011-05-13
jjenista
model the allocation of string literals in heap analysis
blob
|
commitdiff
|
raw
|
diff to current
2011-05-13
jjenista
this system checks heap results against runtime pointer...
blob
|
commitdiff
|
raw
|
diff to current
2011-05-10
jjenista
New tool to check points-to results of a heap analysis...
blob
|
commitdiff
|
raw
|
diff to current