projects
/
IRC.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
fix a bug for Taint similar to ReachState, when either is an element of an ExistPred...
[IRC.git]
/
Robust
/
src
/
Analysis
/
Disjoint
/
drwxr-xr-x
..
-rw-r--r--
240
Alloc.java
blob
|
history
|
raw
-rw-r--r--
7299
AllocSite.java
blob
|
history
|
raw
-rw-r--r--
3693
BuildStateMachines.java
blob
|
history
|
raw
-rw-r--r--
49881
Canonical.java
blob
|
history
|
raw
-rw-r--r--
3888
CanonicalOp.java
blob
|
history
|
raw
-rw-r--r--
2029
ChangeSet.java
blob
|
history
|
raw
-rw-r--r--
2352
ChangeTuple.java
blob
|
history
|
raw
-rw-r--r--
1716
DefReachFuVal.java
blob
|
history
|
raw
-rw-r--r--
2935
DefiniteReachAnalysis.java
blob
|
history
|
raw
-rw-r--r--
6986
DefiniteReachState.java
blob
|
history
|
raw
-rw-r--r--
398
DescriptorComparator.java
blob
|
history
|
raw
-rw-r--r--
956
DescriptorQWrapper.java
blob
|
history
|
raw
-rw-r--r--
106436
DisjointAnalysis.java
blob
|
history
|
raw
-rw-r--r--
839
EdgeKey.java
blob
|
history
|
raw
-rw-r--r--
4245
Effect.java
blob
|
history
|
raw
-rw-r--r--
11107
EffectsAnalysis.java
blob
|
history
|
raw
-rw-r--r--
16349
ExistPred.java
blob
|
history
|
raw
-rw-r--r--
3690
ExistPredSet.java
blob
|
history
|
raw
-rw-r--r--
3218
HeapAnalysis.java
blob
|
history
|
raw
-rw-r--r--
7414
HeapRegionNode.java
blob
|
history
|
raw
-rw-r--r--
1054
HrnIdOoc.java
blob
|
history
|
raw
-rw-r--r--
3314
PointerMethod.java
blob
|
history
|
raw
-rw-r--r--
12753
ProcessStateMachines.java
blob
|
history
|
raw
-rw-r--r--
178908
ReachGraph.java
blob
|
history
|
raw
-rw-r--r--
5875
ReachSet.java
blob
|
history
|
raw
-rw-r--r--
3952
ReachState.java
blob
|
history
|
raw
-rw-r--r--
3540
ReachTuple.java
blob
|
history
|
raw
-rw-r--r--
6567
RefEdge.java
blob
|
history
|
raw
-rw-r--r--
1323
RefSrcNode.java
blob
|
history
|
raw
-rw-r--r--
4778
SMFEState.java
blob
|
history
|
raw
-rw-r--r--
1061
StallSite.java
blob
|
history
|
raw
-rw-r--r--
4401
StateMachineForEffects.java
blob
|
history
|
raw
-rw-r--r--
6230
Taint.java
blob
|
history
|
raw
-rw-r--r--
4184
TaintSet.java
blob
|
history
|
raw
drwxr-xr-x
-
UnitTests
tree
|
history
-rw-r--r--
740
VariableNode.java
blob
|
history
|
raw