180 lines
1.5 KiB
Plaintext
180 lines
1.5 KiB
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
|
|
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
|
|
cfg
|
|
wala
|
|
nuke
|
|
pointwise
|
|
subterm
|
|
inline
|
|
subtypes
|
|
dominator
|
|
conformant
|
|
precompute
|
|
idempotence
|
|
canonize
|
|
unflattened
|
|
arraycopy
|
|
validator
|
|
polymorphic
|
|
monomorphic
|
|
skolem
|
|
plausibly
|
|
conjoins
|
|
micro
|