dea583108a
Merge branch 'master' of https://github.com/wala/WALA
2014-10-10 17:49:47 -04:00
6bf7ec63b6
changes for eclipse luna
2014-10-10 17:49:42 -04:00
e3dfc5afe5
fixes for ir generation
2014-10-10 17:48:37 -04:00
0e55cd2eec
adapt to eclipse luna
2014-10-10 17:47:50 -04:00
63232e4a02
further work on geberating stack maps
2014-10-10 17:46:56 -04:00
4e52c00a4b
re-enable assertion
2014-10-10 17:44:06 -04:00
74d5225e16
update maven scripts to build com.ibm.wala.dalvik
2014-10-10 11:56:47 -07:00
f4f6f06d93
remove use-split-verifier hack
2014-10-06 19:31:18 -04:00
14c9c96515
merge of java 7 changes.
...
fixes for Dalvik commit.
2014-10-06 17:41:58 -04:00
6c47da8091
Merge branch 'master' of https://github.com/wala/WALA
...
Conflicts:
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/shrike/DynamicCallGraphTestBase.java
com.ibm.wala.ide.jdt.test/launchers/JDTJava15IRTests.launch
2014-10-06 15:43:42 -04:00
36709b9d1a
java 7 support, with much pain for stack maps :)
2014-10-06 15:34:16 -04:00
df38dade70
revert java_cup version
2014-10-01 22:11:35 -04:00
a1bc84356d
scandriod merge
2014-10-01 21:32:36 -04:00
774be73672
Merge https://github.com/jgf/wala-mirror
2014-09-11 10:43:13 -04:00
c006dbcdd4
fix Shrike to depend on Java 7
2014-08-28 10:17:03 -07:00
9c43798c37
add missing file
2014-08-08 08:44:52 -04:00
0ea26e572c
remove debugging file
...
Former-commit-id: a4284ca571047d1e5e02fa5d142680a59993fe54
2014-08-08 08:15:55 -04:00
26f5254e3e
more support for Java 7:
...
analysis now understands and propagates MethodHandle objects
fixes to Shrike InvokeDynamic instruction
Former-commit-id: fb826f124423bcbca08f729cee1794fbda711d16
2014-08-07 16:02:48 -04:00
53af910339
make return type more precise
2014-08-07 15:43:29 -04:00
b8df435af2
fix type parameters of node decorator in dalvik frontend
2014-08-01 18:13:44 +02:00
32e776fa15
various fixes in natives_no_model.xml
...
* add type info in readBytes/writeBytes
* add summary for writeBytes with three parameters
2014-08-01 12:46:33 +02:00
d762293ba1
support the addition of type information for element in aaload/aastore
...
fall back to java.lang.Object if no type is given
2014-08-01 12:46:33 +02:00
a13c0df9bd
cleanup in dalvik frontend related files
2014-08-01 12:32:22 +02:00
c05415720e
remove custom change markers for code that will be merged to main branch
2014-08-01 12:27:22 +02:00
7769c5b126
minor changes: remove debug code and sync with main branch
2014-08-01 12:27:21 +02:00
eb9e74f442
add/remove @SuppressWarnings to keep in sync with wala main branch
2014-07-30 16:17:37 +02:00
7ad38161b1
remove dependency from slf4j logger in wala.core project
2014-07-30 15:44:17 +02:00
8f6ec6bc54
cleanup
2014-07-30 15:05:15 +02:00
357ac26dee
fix bugs with instruction index of javascript ssa instructions
2014-07-29 19:46:24 +02:00
ccc2cf1506
small cleanup in wala.cast
2014-07-29 19:45:24 +02:00
60228a8c0d
cleanup ssa instructions in wala.core
2014-07-29 19:43:58 +02:00
21b5b417b4
ignore more generated files
2014-07-29 19:41:23 +02:00
6f8aee80c6
Merge branch 'wala' into master
2014-07-28 17:09:02 +02:00
2cbd5e7985
make class abstract to stop it being run
2014-07-11 12:18:23 -04:00
3910608d60
JavaScript slicer support
2014-07-11 11:55:02 -04:00
02fdb60519
use cancel message
2014-07-11 11:33:11 -04:00
40d5906e48
more shortcuts in OrdinalSet.equals
2014-07-10 17:28:54 +02:00
dd3124479e
allow control flow in induced cfgs, and various related fixes
2014-07-08 14:44:06 -04:00
d6ffcdc3bb
more checking
2014-07-08 14:41:28 -04:00
df0c94f718
string concat function
2014-07-08 14:39:38 -04:00
d5e32d6636
model some native methods of class System
2014-07-07 20:58:21 +02:00
beb3948df9
adjust comments
2014-07-05 08:26:39 -07:00
5c0285c410
fixes to source variable name tracking, and new test to verify fix
2014-07-01 21:23:52 +02:00
861bf48c7f
remove hard-coded refs to /tmp
2014-06-29 15:07:09 +02:00
f33b4d029d
another Travis fix
2014-06-26 17:52:58 -07:00
b28ce864ae
disable some long-running tests on Travis
2014-06-26 17:27:53 -07:00
fe9bdeb0d6
Merge pull request #51 from michaelheilmann/development
...
Add and enable GetMethod context, interpreter and selector and the associated test, make NodeDecorator generic.
2014-06-26 11:38:30 -07:00
ea40719069
Merge branch 'master' of https://github.com/wala/WALA into development
2014-06-26 17:52:47 +02:00
0bb5e6998e
Remove redundant casts and imports, improve doc comments
2014-06-26 17:51:26 +02:00
14f535e1d1
new tests
2014-06-26 11:12:44 -04:00
Julian Dolby
Manu Sridharan
Juergen Graf
Martin Mohr
Manu Sridharan
Michael Heilmann