really do not handle reflection of SDGBuilder is configured to not handle reflection
demo version of single file ifc
automatically compile, annotate, choose correct configuration and run ifc
with static field killing definitions now working, we get fewer security leaks - adjust testcases
add run configurations for demo ifc app
starting with easy ifc plug-in
initial structure of demo ifc plug-in - copied from checkflow plug-in
changes to WALA's native specification
new option for SDGBuilder: compute possible allocation sites of receiver object for each

virtual call site
minor change in WALA models of native methods
hopefully clarifying comment for the configuration of object-sensitivity
bugfix: make sure that the classloader is only queried from entry nodes
changes to WALA submodule
show leaks in tree view
fix bug of multiple interferences showing - sort source - sink by linenumber
better and more information in tree view
show sources, sinks and leaks as sidemarkers
chopping for ifc leaks in ui plug-in
new project for joana ui annotations

Die gehörten eh nicht zusammen mit den passon/ignore geschichten in ein package/Projekt.
Das neue Projekt "joana.ui.annotations" ist nur dazu gedacht, von Joana usern in deren eigenen Projekt zu importieren, damit dort die Java-Annotationsn zur Verfügung stehen.

Author:    Martin Hecker <hecker@ipd.info.uni-karlsruhe.de>
ant file for java annotations

Author:    Martin Hecker <hecker@ipd.info.uni-karlsruhe.de>
source/sink-annotations for methods: option to mark either calls or callees

Author:    Martin Hecker <hecker@ipd.info.uni-karlsruhe.de>