repo.or.cz
/
wala.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
minor change to demand points-to interface
[wala.git]
/
com.ibm.wala.core
/
dat
/
dictionary.txt
blob
1d66d78b4136ba8532cc45aaedf1cb9abf3c2dda
1
phis
2
supergraph
3
sjfink
4
sfink
5
satish
6
chandra
7
ipcfg
8
unmodelled
9
stephen
10
fink
11
interprocedural
12
julian
13
dolby
14
intraprocedural
15
noam
16
rinetzky
17
exe
18
ghostview
19
defacto
20
instanceof
21
reachability
22
getfield
23
yices
24
roca
25
stats
26
sic
27
parlance
28
demote
29
despoil
30
iff
31
bitvector
32
arraylength
33
overapproximation
34
entrypoints
35
callees
36
mod
37
putstatic
38
worklist
39
dataflow
40
ssa
41
overapproximate
42
callee
43
entrypoint
44
accessors
45
lite
46
collapsible
47
uncollapsible
48
snugglebug
49
popup
50
precomputed
51
pre
52
hoc
53
uglified
54
int
55
ints
56
temp
57
intensional
58
ith
59
filesystem
60
idempotent
61
smushes
62
smush
63
smushing
64
smushed
65
generics
66
javascript
67
classpath
68
primordial
69
stdout
70
stderr
71
mac
72
unescaped
73
subdirectories
74
dir
75
fiat
76
workspace
77
aying
78
fuzz
79
fuzztest
80
lang
81
fuzzing
82
typecheck
83
callable
84
lifecycle
85
servlet
86
classloader
87
multianewarray
88
len
89
wp
90
dest
91
src
92
phi
93
shrike
94
superinterface
95
subtype
96
junit
97
backedge
98
lhs
99
bytecode
100
alan
101
donovan
102
reps
103
horwitz
104
sagiv
105
manu
106
sridharan
107
grafj
108
superclasses
109
classloaders
110
jdolby
111
smarkstr
112
plugin
113
wacky
114
stdin
115
programatically
116
pei
117
athrow
118
checkcast
119
athrows
120
cahoon
121
eran
122
yahav
123
alexey
124
loginov
125
watchfire
126
finicky
127
rfuhrer
128
microbenchmarks
129
stringish
130
allocatable
131
defs
132
fallthrough
133
fallthru
134
servlets
135
ref
136
adonovan
137
malformed
138
analyses
139
monitorenter
140
monitorexit
141
dominators
142
yahave
143
factoid
144
offline
145
spec
146
factoids
147
xml
148
pistoia
149
checkcasts
150
synthetically
151
unhandled
152
decorator
153
conjoin
154
subsumption