IllegalFlow: add toString() method
let IFC Console talk more when it is doing IFC
do not show prompt when in batch mode
let IFC Console echo annotation of program parts (especially interesting for batch mode)
additional logger 'api.annotation.debug' which *only* logs annotations
also output to which program part the annotated nodes belong
ignore bin folder of FlowLess project
make method filter to be used configurable by API
restructure setLattice command a bit. Get rid of the 'New Lattice set.' message
JoanaRIFL: helper method and a bit prettier output
JoanaRIFL: use more precise SDG Build Options
JoanaRIFL: explain command-line parameters
JavaMethodSignature: method to return selector part of a signature, i.e. name + parameter types + return types
add option to set WALA's native XML
let SDGProgram tell whether a given SDGInstruction stems from application code
let SDG instruction tell whether it is a method call or not
collect all calls of a given SDGMethod
some more queries for SDGProgram about application and primordial code
SDG: better name for the method which returns all the possible targets of a given call instruction
complete last commit