Commit Graph

4783 Commits

Author SHA1 Message Date
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 0d06d7caff com.ibm.wala.dalvik.test: get cup example file more reliably 2015-06-22 10:45:27 +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
Juergen Graf bd96807d7c fix bug: npe on control dep computation when exceptions are ignored 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 f2a4bba83f bugfix in debug output: only take item from worklist if it is not empty 2015-06-14 23:33:43 -07:00
Martin Mohr b66903c8de ignore lib folder of com.ibm.wala.cast project 2015-06-14 23:33:43 -07:00
Martin Mohr 8ac515a452 fix download location of apache commons io lib 2015-06-14 23:33:43 -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 b378f8c458 custom change: include target in string representation of cond-branch 2015-06-14 23:31:35 -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 29779f411a allow adding a conditional branch instruction 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 a83ba08980 turn off debug output 2015-06-14 23:31:00 -07:00
Martin Mohr 80fd657675 transcribe non-overwritten reserved slots into "goto next" instructions 2015-06-14 23:31:00 -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
Juergen Graf e1beb6aa90 add non-recursive dfs solution to compute backedges for large methods 2015-06-14 23:30:41 -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 a5b6490951 fix getNextProgramCounter()
handle the case that the current program counter is free
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 1acbf4b9f7 preserve holes in instruction array when transcribing method summary
otherwise the iindex fields in the ssa instructions are inconsistent
with their index in the instruction array
2015-06-14 23:29:10 -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 1f105dc101 staticalize a method 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 0af7f105ec cache for selectors 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
Julian Dolby 93a522eecd abandon polyglot for now 2015-06-04 20:40:49 -04:00
Julian Dolby 1b2df793df try removing polyglot from cache 2015-06-04 20:12:01 -04:00
Julian Dolby 5feba2cc2e try removing polyglot from cache 2015-06-04 20:09:41 -04:00
Julian Dolby f269bbbcb5 try more memory 2015-06-04 19:04:43 -04:00
Julian Dolby a2379056d5 Merge branch 'master' of https://github.com/wala/WALA 2015-06-04 17:50:45 -04:00
Julian Dolby 90a98521a1 whitespace 2015-06-04 17:50:24 -04:00
Julian Dolby 31f9f1b0b5 more exclusions
allow 1.8 libs
2015-06-04 15:51:46 -04:00
Julian Dolby 58b7c7324c test for reading java 8 2015-06-04 13:53:25 -04:00
Julian Dolby b34fe4d21f Merge branch 'master' of https://github.com/wala/WALA
Conflicts:
	com.ibm.wala.ide.jsdt.tests/META-INF/MANIFEST.MF
2015-06-02 23:00:32 -04:00
Manu Sridharan 517c12b44a Merge branch 'master' of github.com:wala/WALA 2015-05-31 13:53:12 -07:00
Manu Sridharan 052023581d update version to 1.3.8-SNAPSHOT 2015-05-31 13:53:07 -07:00
Julian Dolby 517de26532 more attempts to make test run on maven 2015-05-30 11:26:28 -04:00
Julian Dolby 975bc8011c more attempts to make test run on maven 2015-05-30 11:25:16 -04:00
Manu Sridharan 23a4268a42 Merge pull request #70 from Sheak90/master
Fixed JUnit launcher of com.ibm.wala.cast.js.test
2015-05-29 23:16:28 -07:00