Commit Graph

151 Commits

Author SHA1 Message Date
Manu Sridharan ed5093d6db Properly update version to 1.3.8
Other changes were accidentally committed last time.
2015-10-09 11:06:03 -07:00
Manu Sridharan 077cabc4eb Revert "update version to 1.3.8"
This reverts commit 4aac703ee5.
2015-10-09 11:03:46 -07:00
Manu Sridharan 4aac703ee5 update version to 1.3.8 2015-10-09 10:45:57 -07:00
Julian Dolby 5517371a9b adapt to IField changes 2015-09-16 13:25:53 -04:00
Julian Dolby 3ddaa9eaf7 restore EPL headers 2015-08-13 12:34:34 -04:00
Julian Dolby 045537274f merge 2015-08-13 11:26:48 -04:00
Julian Dolby 671bd98977 Java 8 suport enhancements, mostly to model lambdas compiled to
invokedynamic
2015-08-12 15:20:21 -04:00
Martin Mohr 8d143dbf20 remove 'Custom Change' markers 2015-06-25 09:12:37 +02:00
Martin Mohr 53852ef2a3 fix dalvik eclipse project build path 2015-06-22 15:54:00 +02:00
Martin Mohr b727348af4 fix plugin build path for dalvik project 2015-06-22 14:20:57 +02:00
Martin Mohr 0583450884 fix whitespace 2015-06-22 10:45:26 +02:00
Martin Mohr f4cef8db7a dalvik frontend: set target for SSAGotoInstructions 2015-06-22 10:45:26 +02:00
Martin Mohr cecd2c950f support multiple intent actions and urls in manifest parser 2015-06-14 23:34:33 -07:00
Martin Mohr a56eeae51a kill deprecated method together with the last call of it 2015-06-14 23:33:43 -07:00
Martin Mohr 4bc25d3ddf also model outer loops as indefinite instead of infinite 2015-06-14 23:33:18 -07:00
Martin Mohr 441cc6f279 bugfix in model: close inner loop using a *conditional* goto
This way, the rest of the outer loop (including the jump to the
beginning) is also reached in the control-flow which means that
the outer loop is modelled as a proper loop
2015-06-14 23:31:35 -07:00
Martin Mohr ccb5b02abd do not add self-loops 2015-06-14 23:31:35 -07:00
Martin Mohr cfadf0104c substitute call to deprecated method 2015-06-14 23:31:35 -07:00
Martin Mohr b1c10b642f finish all sections only if a section was entered 2015-06-14 23:31:00 -07:00
Martin Mohr cfa005203a cover corner case of intent or intent's action being null 2015-06-14 23:31:00 -07:00
Martin Mohr 9c4c3507c4 cover corner case of method being null 2015-06-14 23:31:00 -07:00
Martin Mohr 3e4af27112 allow resetting the AndroidEntryPointManager - this is rudimentary support for running the android front-end *multiple times within the same VM* 2015-06-14 23:30:41 -07:00
Martin Mohr b5092637c8 improve recognition of intent action 2015-06-14 23:29:27 -07:00
Martin Mohr 8610ac29c7 allow to retrieve Android Model Class with different cha 2015-06-14 23:29:27 -07:00
Martin Mohr 7e3fb18fc0 BUGFIX: when reusing ssa value numbers, consider the case that an instruction may not have a def 2015-06-14 23:29:10 -07:00
Martin Mohr b03cd18ada handle case when exclusions are null 2015-06-14 23:29:10 -07:00
Martin Mohr 9e5be48138 only generate return statement if caller and callee are compatible 2015-06-14 23:27:57 -07:00
Martin Mohr 0af274a1f9 use class hierarchy for preflight-checking 2015-06-14 23:27:57 -07:00
Martin Mohr 86c65f0578 fix some issues of the IntentContextSelector 2015-06-14 23:27:57 -07:00
Martin Mohr 485b02a8e0 instantiate SpecializedInstanstiator only if given class is really special 2015-06-14 23:27:15 -07:00
Manu Sridharan 052023581d update version to 1.3.8-SNAPSHOT 2015-05-31 13:53:07 -07:00
Manu Sridharan f2f65bfbc5 oops, version should be 1.3.7 2015-05-29 13:20:25 -07:00
Manu Sridharan 894f010ff9 version 1.3.8 2015-05-29 12:20:53 -07:00
Manu Sridharan 7ad8700064 update version numbers to 1.3.7-SNAPSHOT everywhere 2015-05-28 10:37:01 -07:00
Julian Dolby 63ec46f67d 1) changes for mobile
a) serializable added for use by Android services
  b) test classes refactored to allow Android variants to use JUnit 3
2) shrike instrumentation now uses java.lang.instrument
  a) refactoring
  b) online variants of call graph tracing
2015-05-25 19:00:51 -04:00
Julian Dolby 125c8fa684 fix dexlib 2015-04-11 10:11:47 -04:00
Julian Dolby c330657fd4 fix dexlib 2015-04-11 10:05:03 -04:00
Julian Dolby 8cd400df6f fix dexlib 2015-04-11 10:01:41 -04:00
Julian Dolby fd98fec401 export dexlib again 2015-04-11 09:59:51 -04:00
Julian Dolby f92450a7d2 new source for dexlib 2015-04-11 09:46:52 -04:00
Julian Dolby 22ad339fd9 dalvik test infrastructure 2015-04-05 21:22:55 -04:00
Julian Dolby 43c37d6d0e fixes to regression tests:
now, for me, code works using e44 with maven
  dalvik tests refactored for mobile version with android dev tools
  IDE tests Eclipse metadata fixed to make e44 work for me
  new android entrypoint to fix failure in new droidbench tests
2015-03-24 21:51:35 -04:00
Julian Dolby de26484098 java annotations support for dalvik 2015-03-04 13:49:58 -05:00
Julian Dolby fe02f7341b experiment: make Android tools available 2015-03-04 12:08:45 -05:00
Julian Dolby 57ac9646c0 handler type 2015-02-27 21:19:43 -05:00
Julian Dolby 6a8b2bb1f9 catch handler entry points 2015-02-27 21:04:45 -05:00
Julian Dolby 00afd2d63a substitute Android libs when needed 2015-02-26 22:12:02 -05:00
Julian Dolby da5ddee139 (try to) fix runtime path 2015-02-26 15:51:03 -05:00
Julian Dolby c78cd7006b make sure lib dir exists 2015-02-26 11:39:54 -05:00
Julian Dolby b2c2a2d9e3 getch commons stuff from maven 2015-02-26 11:24:47 -05:00