Merge branch 'wala' into master
add possiblility to search existing types without creating new ones
Merge branch 'wala' into master
load scope file from jar as fallback
added callgraph pruning to remove less relevant library methods
create default properties if no wala.properties file exists
Merge branch 'wala' into master
mod ref field access analysis
Merge branch 'wala' into master
add extended sourcecode position info reader to wala project.
remove dependency to sourceinfo project.
Merge branch 'wala' into master
subtasks in monitorutil
Merge branch 'wala' into master
progressmonitor can now be used to cancel operations
find java runtime lib if property has not been set
Merge branch 'wala' into master
work around multiple fields with single name
fix typo in intrapro nullpointer analysis
first version of interprocedural nullpointer analysis
nullpointer analysis code cleanup