2007-10-22 16:34:05 +00:00
|
|
|
phis
|
|
|
|
supergraph
|
|
|
|
sjfink
|
|
|
|
sfink
|
|
|
|
satish
|
|
|
|
chandra
|
|
|
|
ipcfg
|
|
|
|
unmodelled
|
|
|
|
stephen
|
|
|
|
fink
|
|
|
|
interprocedural
|
|
|
|
julian
|
|
|
|
dolby
|
|
|
|
intraprocedural
|
|
|
|
noam
|
|
|
|
rinetzky
|
|
|
|
exe
|
|
|
|
ghostview
|
|
|
|
defacto
|
|
|
|
instanceof
|
|
|
|
reachability
|
2007-10-30 21:40:15 +00:00
|
|
|
getfield
|
|
|
|
yices
|
|
|
|
roca
|
|
|
|
stats
|
|
|
|
sic
|
|
|
|
parlance
|
|
|
|
demote
|
|
|
|
despoil
|
|
|
|
iff
|
|
|
|
bitvector
|
2007-11-05 13:40:33 +00:00
|
|
|
arraylength
|
2007-11-08 15:59:28 +00:00
|
|
|
overapproximation
|
2007-11-09 15:54:14 +00:00
|
|
|
entrypoints
|
2007-11-13 15:22:44 +00:00
|
|
|
callees
|
|
|
|
mod
|
|
|
|
putstatic
|
2007-11-14 13:44:26 +00:00
|
|
|
worklist
|
|
|
|
dataflow
|
2007-11-16 18:22:07 +00:00
|
|
|
ssa
|
|
|
|
overapproximate
|
|
|
|
callee
|
|
|
|
entrypoint
|
|
|
|
accessors
|
|
|
|
lite
|
|
|
|
collapsible
|
|
|
|
uncollapsible
|
2007-11-20 14:12:43 +00:00
|
|
|
snugglebug
|
2007-11-29 04:01:25 +00:00
|
|
|
popup
|
|
|
|
precomputed
|
|
|
|
pre
|
|
|
|
hoc
|
|
|
|
uglified
|
|
|
|
int
|
|
|
|
ints
|
|
|
|
temp
|
|
|
|
intensional
|
|
|
|
ith
|
|
|
|
filesystem
|
|
|
|
idempotent
|
2007-12-03 15:42:58 +00:00
|
|
|
smushes
|
|
|
|
smush
|
|
|
|
smushing
|
|
|
|
smushed
|
|
|
|
generics
|
|
|
|
javascript
|
|
|
|
classpath
|
|
|
|
primordial
|
2007-12-06 19:29:50 +00:00
|
|
|
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
|
2007-12-12 22:31:56 +00:00
|
|
|
junit
|
|
|
|
backedge
|
|
|
|
lhs
|
|
|
|
bytecode
|
2007-12-13 17:08:17 +00:00
|
|
|
alan
|
|
|
|
donovan
|
2007-12-14 14:05:04 +00:00
|
|
|
reps
|
|
|
|
horwitz
|
|
|
|
sagiv
|
|
|
|
manu
|
|
|
|
sridharan
|
|
|
|
grafj
|
2007-12-14 14:32:40 +00:00
|
|
|
superclasses
|
2007-12-14 15:07:11 +00:00
|
|
|
classloaders
|
|
|
|
jdolby
|
|
|
|
smarkstr
|
|
|
|
plugin
|
2007-12-17 15:29:44 +00:00
|
|
|
wacky
|
|
|
|
stdin
|
2007-12-17 18:47:57 +00:00
|
|
|
programatically
|
2007-12-18 18:41:19 +00:00
|
|
|
pei
|
|
|
|
athrow
|
|
|
|
checkcast
|
|
|
|
athrows
|
|
|
|
cahoon
|
|
|
|
eran
|
|
|
|
yahav
|
|
|
|
alexey
|
|
|
|
loginov
|
2007-12-19 15:45:13 +00:00
|
|
|
watchfire
|
2007-12-21 15:08:26 +00:00
|
|
|
finicky
|
|
|
|
rfuhrer
|
2008-01-03 19:10:25 +00:00
|
|
|
microbenchmarks
|
|
|
|
stringish
|
2008-01-03 19:33:29 +00:00
|
|
|
allocatable
|
2008-01-05 14:56:44 +00:00
|
|
|
defs
|
2008-01-09 16:19:06 +00:00
|
|
|
fallthrough
|
|
|
|
fallthru
|
|
|
|
servlets
|
|
|
|
ref
|
2008-01-10 22:50:32 +00:00
|
|
|
adonovan
|
2008-01-11 16:16:16 +00:00
|
|
|
malformed
|
|
|
|
analyses
|
2008-01-15 15:05:55 +00:00
|
|
|
monitorenter
|
|
|
|
monitorexit
|
2008-01-23 16:21:04 +00:00
|
|
|
dominators
|
2008-01-24 23:12:52 +00:00
|
|
|
yahave
|
2008-01-30 15:43:43 +00:00
|
|
|
factoid
|
2008-01-31 20:55:35 +00:00
|
|
|
offline
|
|
|
|
spec
|
2008-02-05 18:23:41 +00:00
|
|
|
factoids
|
2008-02-08 02:09:06 +00:00
|
|
|
xml
|
2008-02-22 16:41:12 +00:00
|
|
|
pistoia
|
2008-03-02 20:58:17 +00:00
|
|
|
checkcasts
|
2008-03-19 19:43:27 +00:00
|
|
|
synthetically
|
2008-04-10 18:08:58 +00:00
|
|
|
unhandled
|
2008-04-24 21:29:55 +00:00
|
|
|
decorator
|
|
|
|
conjoin
|
|
|
|
subsumption
|
2008-05-08 19:40:28 +00:00
|
|
|
deprecated
|
|
|
|
refactor
|