new class for slicing-based IFC algorithms with configurable slicer
new class for chopping-based IFC algorithms with configurable chopper
kill useless constants (there is a class dedicated to stubs)
add two new examples for the analysis of concurrent programs
CSDGPreprocessor: do not check for debug status if not neccessary
kill unused imports
kill unused variable in ISCRBuilder - note, that the call cannot be removed because the called method has undocument yet important side-effects (grrr)
make deprecated gui code compile again
let sdpn integration project depend on joana.util so that in knows about AbstractJoanaGraph
let SDG be preprocessed before running MHP analyis on it
add option to retrieve field information from parameter candidate
extend side-effect detector to work with static as well as object fields.
fix bug with array fields in side-effect detector
make configuration of side-effect detector more flexible
added side-effect detector to api configuration
kill unused and unneccessary nanda wrappers
store more fine grained results during side-effect detection
cleanup and comment side-effect detector code
added comments to side-effect detector main methods