Minor stuff
added a SkeletonApp
TestApp2
Umgebaut, derzeit Fehler beim Laden von acteve.symbolic.Util in soot cp
Added all acteve.Util.* classes as jimple. Might be useful some day.
neue soot.jar
Merge branch 'master' of gitlab.aisec.fraunhofer.de:sas/android-concolic-execution
classpath
APK with acteve.symbolic.Util (among others)
Corrected jimple files
Loading all acteve.symbolic.* classes, including subpackages, now
Fixed NPE when validating
Umbau zurueck zu SceneTransformer fertig; 'field already exists' exceptions pertain
An instrumented app is now being created successfully; however, installation on the emulator fails due to dexopt crashing
Muehsam ernaehrt sich das Eichhoernchen
- Instrumentation works
- Library classes are loaded correctly and resolved at level BODIES
more debug stuff; definition of own models is possible
Finally some symbolic output traces...
Fixed minor path problems with Z3
Finally at it again. Added code to insert WRITE_EXTERNAL_STORAGE permission into manifest, as concolic logs go to sd card.