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