Martin Mohr
|
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 |
Martin Mohr
|
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 |
Juergen Graf
|
a13c0df9bd
|
cleanup in dalvik frontend related files
|
2014-08-01 12:32:22 +02:00 |
Juergen Graf
|
c05415720e
|
remove custom change markers for code that will be merged to main branch
|
2014-08-01 12:27:22 +02:00 |
Juergen Graf
|
7769c5b126
|
minor changes: remove debug code and sync with main branch
|
2014-08-01 12:27:21 +02:00 |
Juergen Graf
|
eb9e74f442
|
add/remove @SuppressWarnings to keep in sync with wala main branch
|
2014-07-30 16:17:37 +02:00 |
Juergen Graf
|
7ad38161b1
|
remove dependency from slf4j logger in wala.core project
|
2014-07-30 15:44:17 +02:00 |
Juergen Graf
|
8f6ec6bc54
|
cleanup
|
2014-07-30 15:05:15 +02:00 |
Juergen Graf
|
357ac26dee
|
fix bugs with instruction index of javascript ssa instructions
|
2014-07-29 19:46:24 +02:00 |
Juergen Graf
|
ccc2cf1506
|
small cleanup in wala.cast
|
2014-07-29 19:45:24 +02:00 |
Juergen Graf
|
60228a8c0d
|
cleanup ssa instructions in wala.core
|
2014-07-29 19:43:58 +02:00 |
Juergen Graf
|
21b5b417b4
|
ignore more generated files
|
2014-07-29 19:41:23 +02:00 |
Juergen Graf
|
6f8aee80c6
|
Merge branch 'wala' into master
|
2014-07-28 17:09:02 +02:00 |
Julian Dolby
|
2cbd5e7985
|
make class abstract to stop it being run
|
2014-07-11 12:18:23 -04:00 |
Julian Dolby
|
3910608d60
|
JavaScript slicer support
|
2014-07-11 11:55:02 -04:00 |
Julian Dolby
|
02fdb60519
|
use cancel message
|
2014-07-11 11:33:11 -04:00 |
Juergen Graf
|
40d5906e48
|
more shortcuts in OrdinalSet.equals
|
2014-07-10 17:28:54 +02:00 |
Julian Dolby
|
dd3124479e
|
allow control flow in induced cfgs, and various related fixes
|
2014-07-08 14:44:06 -04:00 |
Julian Dolby
|
d6ffcdc3bb
|
more checking
|
2014-07-08 14:41:28 -04:00 |
Julian Dolby
|
df0c94f718
|
string concat function
|
2014-07-08 14:39:38 -04:00 |
Martin Mohr
|
d5e32d6636
|
model some native methods of class System
|
2014-07-07 20:58:21 +02:00 |
Manu Sridharan
|
beb3948df9
|
adjust comments
|
2014-07-05 08:26:39 -07:00 |
Julian Dolby
|
5c0285c410
|
fixes to source variable name tracking, and new test to verify fix
|
2014-07-01 21:23:52 +02:00 |
Julian Dolby
|
861bf48c7f
|
remove hard-coded refs to /tmp
|
2014-06-29 15:07:09 +02:00 |
Manu Sridharan
|
f33b4d029d
|
another Travis fix
|
2014-06-26 17:52:58 -07:00 |
Manu Sridharan
|
b28ce864ae
|
disable some long-running tests on Travis
|
2014-06-26 17:27:53 -07:00 |
Manu Sridharan
|
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 |
Michael Heilmann
|
ea40719069
|
Merge branch 'master' of https://github.com/wala/WALA into development
|
2014-06-26 17:52:47 +02:00 |
Michael Heilmann
|
0bb5e6998e
|
Remove redundant casts and imports, improve doc comments
|
2014-06-26 17:51:26 +02:00 |
Julian Dolby
|
14f535e1d1
|
new tests
|
2014-06-26 11:12:44 -04:00 |
Julian Dolby
|
bdea38f6bc
|
remove some printing
|
2014-06-26 11:11:00 -04:00 |
Julian Dolby
|
88487d55da
|
expose matcher to allow specialization
|
2014-06-26 11:07:31 -04:00 |
Julian Dolby
|
e58ec4dba8
|
new special parent scope for cases where JavaScript redefines a variable using a reference to the existing definition
|
2014-06-26 11:05:43 -04:00 |
Julian Dolby
|
32f8672068
|
add actual call to code
|
2014-06-26 11:00:43 -04:00 |
Julian Dolby
|
dbda8aab9e
|
test for scoping issue
|
2014-06-26 11:00:18 -04:00 |
Julian Dolby
|
87c42b61d6
|
toString methods
|
2014-06-26 10:57:48 -04:00 |
Julian Dolby
|
4aefbecb8e
|
fix for JavaScript crash
|
2014-06-26 10:57:08 -04:00 |
Manu Sridharan
|
8e33a70c91
|
Merge pull request #53 from aaandrewww/master
Fix bug in ClassHierarchy.getLeastCommonSuperClass and imprecision in type inference
|
2014-06-22 12:08:59 -07:00 |
Manu Sridharan
|
19918ba55d
|
Merge pull request #55 from wondee/master
Fixed JavaDoc Warnings in AbstractIntStackMachine and SSABuilder
|
2014-06-21 06:50:07 -07:00 |
markus
|
ec2d2e9c9c
|
fixed JavaDoc warnings
|
2014-06-20 10:31:27 +02:00 |
markus
|
50c9c4a406
|
fixed JavaDoc warnings
|
2014-06-20 10:27:05 +02:00 |
sjfink
|
a739a71c6a
|
make Drainer class protected
|
2014-06-05 09:01:50 -04:00 |
Martin Mohr
|
e6e6fc4159
|
bugfix (provided by E.Derr): left-shift literal of *HIGH_16 constants
|
2014-06-02 17:06:07 +02:00 |
Julian Dolby
|
fc07a27806
|
for now, comment out test that seems to die with a timeout on Travis CI
|
2014-05-28 16:42:00 -04:00 |
Julian Dolby
|
eaca036730
|
fix build info for maven
|
2014-05-28 15:11:09 -04:00 |
Julian Dolby
|
9444d24f4c
|
put commons-io-2.4 in more places
|
2014-05-28 14:17:55 -04:00 |
Julian Dolby
|
7227f1fcb6
|
use commons io library
|
2014-05-28 14:01:31 -04:00 |
Julian Dolby
|
6538514b86
|
use commons io library
|
2014-05-28 13:52:40 -04:00 |
Julian Dolby
|
c916e41c7a
|
tweaks to models
|
2014-05-28 13:36:07 -04:00 |
Julian Dolby
|
4469e06514
|
handle more cases with constructors
|
2014-05-28 13:35:40 -04:00 |