- Wait for activity to settle after start
- merge preparation
Compute sub-CG between entrypoints and goals
CG is extended by edges for findViewById
Painting artificial edges in DOT works
- Error handling in CG extension & getDefaultOnResume(), using default
onCreate if onResume not available, Switched on more logging of symbolic
instrumentation,
- BSD 2-Clause license for remaining files
Removed flawed termination of app, more debugging stmts
Only return values of modelled methods are overwritten by injected
solutions
Speaking names for symbolic registers set by modelled functions
Support strings in Z3 model
Use-def chain construction for String comparisons
Using boolean expression for comparison
Creation of symbolic variables for string fields
Cleanup, refactoring
- Using Z3-str instead of z3
- New parser for Z3-str results
Resolution of SymbolicString._contains works
Cleanup, more string ops (startsWith, endsWith, concat)
Model for android.os.Build
Modelled fields for nested Build$VERSION class, prepared automatic
generation of modelled fields
Fix: Support for integer fields
Debugging
Bugfix: repeated instrumentation of classes