dataflow
david
hovemeyer
bytecode
analyses
worklist
classpath
codebases
decorator
servlet
writeup
servlets
invokevirtual
subtype
invokespecial
orchestrates
subtypes
nullness
subtype
superclasses
interprocedural
