more words
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2793 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
a06b77838d
commit
1ddd6f19dd
|
@ -1,156 +1,158 @@
|
|||
phis
|
||||
supergraph
|
||||
sjfink
|
||||
sfink
|
||||
satish
|
||||
chandra
|
||||
ipcfg
|
||||
unmodelled
|
||||
stephen
|
||||
fink
|
||||
interprocedural
|
||||
julian
|
||||
dolby
|
||||
intraprocedural
|
||||
noam
|
||||
rinetzky
|
||||
exe
|
||||
ghostview
|
||||
defacto
|
||||
instanceof
|
||||
reachability
|
||||
getfield
|
||||
yices
|
||||
roca
|
||||
stats
|
||||
sic
|
||||
parlance
|
||||
demote
|
||||
despoil
|
||||
iff
|
||||
bitvector
|
||||
arraylength
|
||||
overapproximation
|
||||
entrypoints
|
||||
callees
|
||||
mod
|
||||
putstatic
|
||||
worklist
|
||||
dataflow
|
||||
ssa
|
||||
overapproximate
|
||||
callee
|
||||
entrypoint
|
||||
accessors
|
||||
lite
|
||||
collapsible
|
||||
uncollapsible
|
||||
snugglebug
|
||||
popup
|
||||
precomputed
|
||||
pre
|
||||
hoc
|
||||
uglified
|
||||
int
|
||||
ints
|
||||
temp
|
||||
intensional
|
||||
ith
|
||||
filesystem
|
||||
idempotent
|
||||
smushes
|
||||
smush
|
||||
smushing
|
||||
smushed
|
||||
generics
|
||||
javascript
|
||||
classpath
|
||||
primordial
|
||||
stdout
|
||||
stderr
|
||||
mac
|
||||
unescaped
|
||||
subdirectories
|
||||
dir
|
||||
fiat
|
||||
workspace
|
||||
aying
|
||||
fuzz
|
||||
fuzztest
|
||||
lang
|
||||
fuzzing
|
||||
typecheck
|
||||
callable
|
||||
lifecycle
|
||||
servlet
|
||||
classloader
|
||||
multianewarray
|
||||
len
|
||||
wp
|
||||
dest
|
||||
src
|
||||
phi
|
||||
shrike
|
||||
superinterface
|
||||
subtype
|
||||
junit
|
||||
backedge
|
||||
lhs
|
||||
bytecode
|
||||
alan
|
||||
donovan
|
||||
reps
|
||||
horwitz
|
||||
sagiv
|
||||
manu
|
||||
sridharan
|
||||
grafj
|
||||
superclasses
|
||||
classloaders
|
||||
jdolby
|
||||
smarkstr
|
||||
plugin
|
||||
wacky
|
||||
stdin
|
||||
programatically
|
||||
pei
|
||||
athrow
|
||||
checkcast
|
||||
athrows
|
||||
cahoon
|
||||
eran
|
||||
yahav
|
||||
alexey
|
||||
loginov
|
||||
watchfire
|
||||
finicky
|
||||
rfuhrer
|
||||
microbenchmarks
|
||||
stringish
|
||||
allocatable
|
||||
defs
|
||||
fallthrough
|
||||
fallthru
|
||||
servlets
|
||||
ref
|
||||
adonovan
|
||||
malformed
|
||||
analyses
|
||||
monitorenter
|
||||
monitorexit
|
||||
dominators
|
||||
yahave
|
||||
factoid
|
||||
offline
|
||||
spec
|
||||
factoids
|
||||
xml
|
||||
pistoia
|
||||
checkcasts
|
||||
synthetically
|
||||
unhandled
|
||||
decorator
|
||||
conjoin
|
||||
subsumption
|
||||
deprecated
|
||||
refactor
|
||||
phis
|
||||
supergraph
|
||||
sjfink
|
||||
sfink
|
||||
satish
|
||||
chandra
|
||||
ipcfg
|
||||
unmodelled
|
||||
stephen
|
||||
fink
|
||||
interprocedural
|
||||
julian
|
||||
dolby
|
||||
intraprocedural
|
||||
noam
|
||||
rinetzky
|
||||
exe
|
||||
ghostview
|
||||
defacto
|
||||
instanceof
|
||||
reachability
|
||||
getfield
|
||||
yices
|
||||
roca
|
||||
stats
|
||||
sic
|
||||
parlance
|
||||
demote
|
||||
despoil
|
||||
iff
|
||||
bitvector
|
||||
arraylength
|
||||
overapproximation
|
||||
entrypoints
|
||||
callees
|
||||
mod
|
||||
putstatic
|
||||
worklist
|
||||
dataflow
|
||||
ssa
|
||||
overapproximate
|
||||
callee
|
||||
entrypoint
|
||||
accessors
|
||||
lite
|
||||
collapsible
|
||||
uncollapsible
|
||||
snugglebug
|
||||
popup
|
||||
precomputed
|
||||
pre
|
||||
hoc
|
||||
uglified
|
||||
int
|
||||
ints
|
||||
temp
|
||||
intensional
|
||||
ith
|
||||
filesystem
|
||||
idempotent
|
||||
smushes
|
||||
smush
|
||||
smushing
|
||||
smushed
|
||||
generics
|
||||
javascript
|
||||
classpath
|
||||
primordial
|
||||
stdout
|
||||
stderr
|
||||
mac
|
||||
unescaped
|
||||
subdirectories
|
||||
dir
|
||||
fiat
|
||||
workspace
|
||||
aying
|
||||
fuzz
|
||||
fuzztest
|
||||
lang
|
||||
fuzzing
|
||||
typecheck
|
||||
callable
|
||||
lifecycle
|
||||
servlet
|
||||
classloader
|
||||
multianewarray
|
||||
len
|
||||
wp
|
||||
dest
|
||||
src
|
||||
phi
|
||||
shrike
|
||||
superinterface
|
||||
subtype
|
||||
junit
|
||||
backedge
|
||||
lhs
|
||||
bytecode
|
||||
alan
|
||||
donovan
|
||||
reps
|
||||
horwitz
|
||||
sagiv
|
||||
manu
|
||||
sridharan
|
||||
grafj
|
||||
superclasses
|
||||
classloaders
|
||||
jdolby
|
||||
smarkstr
|
||||
plugin
|
||||
wacky
|
||||
stdin
|
||||
programatically
|
||||
pei
|
||||
athrow
|
||||
checkcast
|
||||
athrows
|
||||
cahoon
|
||||
eran
|
||||
yahav
|
||||
alexey
|
||||
loginov
|
||||
watchfire
|
||||
finicky
|
||||
rfuhrer
|
||||
microbenchmarks
|
||||
stringish
|
||||
allocatable
|
||||
defs
|
||||
fallthrough
|
||||
fallthru
|
||||
servlets
|
||||
ref
|
||||
adonovan
|
||||
malformed
|
||||
analyses
|
||||
monitorenter
|
||||
monitorexit
|
||||
dominators
|
||||
yahave
|
||||
factoid
|
||||
offline
|
||||
spec
|
||||
factoids
|
||||
xml
|
||||
pistoia
|
||||
checkcasts
|
||||
synthetically
|
||||
unhandled
|
||||
decorator
|
||||
conjoin
|
||||
subsumption
|
||||
deprecated
|
||||
refactor
|
||||
transverse
|
||||
rotting
|
||||
|
|
Loading…
Reference in New Issue