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
Julian Dolby
f760672215
tests for java 8 default methods
2015-08-09 14:13:38 -04:00
Julian Dolby
b1538aece6
Merge branch 'master' of https://github.com/wala/WALA
2015-08-09 13:47:01 -04:00
Julian Dolby
8470091225
Java 8 default methods
2015-08-09 13:46:03 -04:00
Julian Dolby
3f5ce89cb6
finalizer test
2015-08-09 13:43:40 -04:00
Manu Sridharan
d47e2cfbde
use execution environment to specify JRE
2015-08-06 13:25:55 -07:00
Manu Sridharan
13a46d8ea3
Fixes #82
...
PrunedCFG had been changed to always include an entry and exit node.
The logic for detecting an "empty" ExceptionPrunedCFG inside the PDG
construction code had not been updated appropriately.
2015-08-06 11:08:27 -07:00
Julian Dolby
cb77169101
serialize dynamic callgraph in UTF-8 format, so as to handle Unicode
...
names in class files
2015-08-04 14:18:43 -04:00
Manu Sridharan
44699a619f
Merge pull request #85 from msridhar/remove-eclipse-dep
...
Remove Eclipse dependence from cast.js(.rhino)
2015-07-31 07:26:25 -07:00
Julian Dolby
223fb8d439
try to be more precise about finalize methods
2015-07-31 09:20:46 -04:00
Manu Sridharan
4c3827bf49
more Maven-related changes
2015-07-30 20:39:26 -07:00
Manu Sridharan
753fc61fb3
remove Eclipse dependence from cast.js.rhino
2015-07-30 19:24:53 -07:00
Manu Sridharan
87d22be3fb
Attempt to fix JSDT tests
2015-07-30 16:37:02 -07:00
Manu Sridharan
b7ab80734f
remove Eclipse dependendence from cast.js
2015-07-30 15:03:45 -07:00
Manu Sridharan
2a55d2e9e9
MVN central build file for com.ibm.wala.cast
2015-07-30 14:06:51 -07:00
Manu Sridharan
8ca3184429
Merge pull request #84 from msridhar/remove-eclipse-dep
...
Remove com.ibm.wala.cast's dependence on Eclipse
2015-07-30 11:01:13 -07:00
Manu Sridharan
7803787999
remove Bundle-Activator from MANIFEST.MF
2015-07-30 10:13:22 -07:00
Manu Sridharan
942a3d5343
Remove Eclipse dependence from com.ibm.wala.cast
...
Remove (presumably unused) AstPlugin classes
2015-07-30 10:07:03 -07:00
Manu Sridharan
93ff020285
Remove old package
2015-07-30 09:57:46 -07:00
Martin Mohr
5aae6234e8
give BasicNullaryStatements a toString() method
...
Before, fixed-point systems containing BasicNullaryStatements
caused crashes when trying to output them (because toString()
method of AbstractStatement assumes that there is Right-Hand-Side,
but BasicNullaryStatements throw an UnsupportedOperationException
when trying to get them).
Why shouldn't BasicNullaryStatements have a string representation?
2015-07-30 17:19:34 +02:00
Martin Mohr
9b8b323812
make configurable whether we apply an optimized version of hasExceptions()
2015-07-27 18:31:43 +02:00
Martin Mohr
65b9e97ae5
refine hasExceptions(): return true if there are *uncaught* exceptions
2015-07-27 14:17:18 +02:00
Julian Dolby
a1159db2f4
switch to (one hopes) a more reliable javacup input file
2015-07-24 23:25:08 -04:00
Julian Dolby
519b98a0ea
fixes to model of for ... in ... in JavaScript
2015-07-24 22:48:20 -04:00
Julian Dolby
eb24a616f1
clean up
2015-07-24 22:45:25 -04:00
Julian Dolby
563b6ba6aa
fixes for for ... in ... form in JavaScript
2015-07-24 22:44:10 -04:00
Julian Dolby
364fe7fa99
make dynamic and static analysis more consistent
2015-07-24 22:42:34 -04:00
Julian Dolby
b721a3ceb0
updates to dynamic call graphs to better match static ones
2015-07-10 09:44:01 +02:00
Julian Dolby
a6a060ed25
changes for handling of 'callbacks' in dynamic CGs
2015-06-28 17:06:21 -04:00
Martin Mohr
8d143dbf20
remove 'Custom Change' markers
2015-06-25 09:12:37 +02:00
Martin Mohr
0b92907149
Revert "cache for selectors"
...
This reverts commit 0af7f105ec
.
2015-06-25 09:12:37 +02:00
Martin Mohr
620dd15d00
allow comments in exclusion files
2015-06-25 08:59:21 +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
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