9b8b323812
make configurable whether we apply an optimized version of hasExceptions()
2015-07-27 18:31:43 +02:00
65b9e97ae5
refine hasExceptions(): return true if there are *uncaught* exceptions
2015-07-27 14:17:18 +02:00
a1159db2f4
switch to (one hopes) a more reliable javacup input file
2015-07-24 23:25:08 -04:00
519b98a0ea
fixes to model of for ... in ... in JavaScript
2015-07-24 22:48:20 -04:00
eb24a616f1
clean up
2015-07-24 22:45:25 -04:00
563b6ba6aa
fixes for for ... in ... form in JavaScript
2015-07-24 22:44:10 -04:00
364fe7fa99
make dynamic and static analysis more consistent
2015-07-24 22:42:34 -04:00
b721a3ceb0
updates to dynamic call graphs to better match static ones
2015-07-10 09:44:01 +02:00
a6a060ed25
changes for handling of 'callbacks' in dynamic CGs
2015-06-28 17:06:21 -04:00
8d143dbf20
remove 'Custom Change' markers
2015-06-25 09:12:37 +02:00
0b92907149
Revert "cache for selectors"
...
This reverts commit 0af7f105ec
2015-06-25 09:12:37 +02:00
620dd15d00
allow comments in exclusion files
2015-06-25 08:59:21 +02:00
53852ef2a3
fix dalvik eclipse project build path
2015-06-22 15:54:00 +02:00
b727348af4
fix plugin build path for dalvik project
2015-06-22 14:20:57 +02:00
0d06d7caff
com.ibm.wala.dalvik.test: get cup example file more reliably
2015-06-22 10:45:27 +02:00
0583450884
fix whitespace
2015-06-22 10:45:26 +02:00
f4cef8db7a
dalvik frontend: set target for SSAGotoInstructions
2015-06-22 10:45:26 +02:00
bd96807d7c
fix bug: npe on control dep computation when exceptions are ignored
2015-06-22 10:45:26 +02:00
cecd2c950f
support multiple intent actions and urls in manifest parser
2015-06-14 23:34:33 -07:00
f2a4bba83f
bugfix in debug output: only take item from worklist if it is not empty
2015-06-14 23:33:43 -07:00
b66903c8de
ignore lib folder of com.ibm.wala.cast project
2015-06-14 23:33:43 -07:00
8ac515a452
fix download location of apache commons io lib
2015-06-14 23:33:43 -07:00
a56eeae51a
kill deprecated method together with the last call of it
2015-06-14 23:33:43 -07:00
4bc25d3ddf
also model outer loops as indefinite instead of infinite
2015-06-14 23:33:18 -07:00
b378f8c458
custom change: include target in string representation of cond-branch
2015-06-14 23:31:35 -07:00
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
29779f411a
allow adding a conditional branch instruction
2015-06-14 23:31:35 -07:00
ccb5b02abd
do not add self-loops
2015-06-14 23:31:35 -07:00
cfadf0104c
substitute call to deprecated method
2015-06-14 23:31:35 -07:00
a83ba08980
turn off debug output
2015-06-14 23:31:00 -07:00
80fd657675
transcribe non-overwritten reserved slots into "goto next" instructions
2015-06-14 23:31:00 -07:00
b1c10b642f
finish all sections only if a section was entered
2015-06-14 23:31:00 -07:00
cfa005203a
cover corner case of intent or intent's action being null
2015-06-14 23:31:00 -07:00
9c4c3507c4
cover corner case of method being null
2015-06-14 23:31:00 -07:00
e1beb6aa90
add non-recursive dfs solution to compute backedges for large methods
2015-06-14 23:30:41 -07:00
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
b5092637c8
improve recognition of intent action
2015-06-14 23:29:27 -07:00
a5b6490951
fix getNextProgramCounter()
...
handle the case that the current program counter is free
2015-06-14 23:29:27 -07:00
8610ac29c7
allow to retrieve Android Model Class with different cha
2015-06-14 23:29:27 -07:00
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
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
1f105dc101
staticalize a method
2015-06-14 23:29:10 -07:00
b03cd18ada
handle case when exclusions are null
2015-06-14 23:29:10 -07:00
9e5be48138
only generate return statement if caller and callee are compatible
2015-06-14 23:27:57 -07:00
0af7f105ec
cache for selectors
2015-06-14 23:27:57 -07:00
0af274a1f9
use class hierarchy for preflight-checking
2015-06-14 23:27:57 -07:00
86c65f0578
fix some issues of the IntentContextSelector
2015-06-14 23:27:57 -07:00
485b02a8e0
instantiate SpecializedInstanstiator only if given class is really special
2015-06-14 23:27:15 -07:00
93a522eecd
abandon polyglot for now
2015-06-04 20:40:49 -04:00
1b2df793df
try removing polyglot from cache
2015-06-04 20:12:01 -04:00
Martin Mohr
Julian Dolby
Juergen Graf