96 lines
787 B
Plaintext
96 lines
787 B
Plaintext
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
|