Ben Liblit
|
7a3a23b2b4
|
When using Maven, compile using Java 1.7, not 1.6
We already switched to using Java 1.7 in the Eclipse settings. This
applies the corresponding change to Maven-managed builds.
|
2017-03-12 21:38:43 -05:00 |
Ben Liblit
|
1cf7f0f3d3
|
Merge branch 'master' of github.com:wala/WALA
|
2017-03-11 20:21:51 -06:00 |
Julian Dolby
|
a1dd19b8d0
|
Merge branch 'pull-request__android-bugfixes' of https://github.com/joana-team/WALA
|
2017-03-11 16:56:09 -05:00 |
Julian Dolby
|
605e7373ce
|
Merge branch 'pull-request__exception-pruning-for-safe-array-creation' of https://github.com/joana-team/WALA
|
2017-03-11 16:38:03 -05:00 |
Julian Dolby
|
ef1994e146
|
Merge branch 'master' of https://github.com/wala/WALA
|
2017-03-11 16:21:16 -05:00 |
Julian Dolby
|
db65c16863
|
Merge branch 'pull-request__typeannotations' of https://github.com/joana-team/WALA
|
2017-03-11 16:19:50 -05:00 |
Julian Dolby
|
6a8696e6e1
|
Merge pull request #118 from joana-team/pull-request__dalvik_typeinference
Make a variant of TypeInference which supports dalvik bytecode
|
2017-03-11 16:12:50 -05:00 |
Julian Dolby
|
2a4d24dc6f
|
Merge branch 'pull-request__nullpointer-bugfixes' of https://github.com/joana-team/WALA
|
2017-03-11 14:48:13 -05:00 |
Julian Dolby
|
5c6cf9724a
|
Merge branch 'warning-fixes-java-versions' of https://github.com/liblit/WALA
|
2017-03-11 13:46:06 -05:00 |
Julian Dolby
|
ffe355bc74
|
Merge branch 'warning-fixes-model-behavior-class' of https://github.com/liblit/WALA
|
2017-03-11 13:45:20 -05:00 |
Julian Dolby
|
70501da941
|
Revert "IFDS Null Analysis files"
This reverts commit df99517df0 .
|
2017-03-11 13:25:19 -05:00 |
Julian Dolby
|
f595eb357e
|
add some abstraction to IR, using IRView
|
2017-03-11 13:22:45 -05:00 |
Julian Dolby
|
a1f8894ba1
|
Merge branch 'master' of https://github.com/wala/WALA
|
2017-03-10 13:49:09 -05:00 |
Julian Dolby
|
0545060886
|
merge
|
2017-03-10 13:49:07 -05:00 |
Julian Dolby
|
a2c388b83d
|
Merge branch 'nodejs' of https://github.com/Pfarrer/WALA
|
2017-03-09 09:02:28 -05:00 |
Julian Dolby
|
016c3940e8
|
Merge branch 'pull-request__misc-bugfixes' of https://github.com/joana-team/WALA
|
2017-03-09 08:59:40 -05:00 |
Julian Dolby
|
f5c36d7411
|
Merge branch 'master' of https://github.com/d2an3/WALA
|
2017-03-09 08:53:30 -05:00 |
Julian Dolby
|
0784a9da6a
|
Merge pull request #124 from joana-team/slightly-more-informative-output
display which classes each handler catches when outputting IR
|
2017-03-09 08:51:06 -05:00 |
Julian Dolby
|
3be77aeb3b
|
Merge pull request #139 from GrammaTech/intstackget
Add int size() and int get(int index) methods to IntStack.
|
2017-03-09 08:50:03 -05:00 |
Brian Alliet
|
9c854a4be6
|
Add int size() and int get(int index) methods to IntStack.
Accrue (http://people.seas.harvard.edu/~chong/accrue.html) uses IntStack
internally for various things and found these convenient.
|
2017-03-07 12:00:02 -05:00 |
Julian Dolby
|
017a715cd5
|
build new code
|
2017-02-24 22:43:31 -05:00 |
Julian Dolby
|
7b393a7da2
|
fix for missing Java 8 feature
|
2017-02-24 22:29:14 -05:00 |
Julian Dolby
|
583cf37e59
|
type cleanups
|
2017-02-23 10:15:59 -05:00 |
Julian Dolby
|
a8a3699ee1
|
type cleanups
|
2017-02-23 10:10:39 -05:00 |
Ben Liblit
|
5a5cccc062
|
Strip execute bits from many non-executable (i.e., non-script) files
|
2017-02-23 06:10:08 -06:00 |
Andrei Dan
|
df99517df0
|
IFDS Null Analysis files
|
2017-02-11 18:36:28 +01:00 |
Julian Dolby
|
96be295500
|
grr. commit -a does not find new files.
|
2017-02-02 20:46:34 -05:00 |
Julian Dolby
|
b65517b958
|
forgot some files
|
2017-02-02 20:44:27 -05:00 |
Julian Dolby
|
d24519e974
|
cross-cutting changes to make more of WALA runnable with TeaVM. The biggest change is refactoring to AnalysisCache and friends; since TeaVM does not support SoftReference, I needed to add a layer of interfaces so that I can use a more simpleminded caching implementation for TeaVM. There are other changes to Module and friends to break connections with File and URL, which also cause TeaVM grief. I also organized imports in many places to remove unused types that caused trouble.
|
2017-02-02 20:33:27 -05:00 |
Manu Sridharan
|
71b505cfc8
|
Merge pull request #134 from joana-team/pull-request__getridofhashcodecomparator
get rid of HashCodeComparator and all its usages
|
2017-01-26 08:17:08 -08:00 |
Martin Mohr
|
467bf8038d
|
implement hashCode() and equals() for DexModuleEntry
|
2017-01-26 15:41:42 +01:00 |
Martin Mohr
|
64823846c0
|
get rid of HashCodeComparator and all its usages
This addresses both https://github.com/wala/WALA/issues/133 and
https://github.com/wala/WALA/issues/88
|
2017-01-26 14:16:48 +01:00 |
Julian Dolby
|
50ce960170
|
fix to rewriter creation
|
2017-01-19 22:13:53 -05:00 |
Julian Dolby
|
2396d0fad3
|
Revert "Revert "fixes to getting source positions from JVML""
This reverts commit 619df0a83d .
|
2017-01-19 19:12:22 -05:00 |
Julian Dolby
|
619df0a83d
|
Revert "fixes to getting source positions from JVML"
This reverts commit 9e35099326 .
|
2017-01-19 18:49:02 -05:00 |
Julian Dolby
|
9e35099326
|
fixes to getting source positions from JVML
CAst rewriter abstraction
|
2017-01-19 17:52:42 -05:00 |
Julian Dolby
|
74cc8454e3
|
make more of WALA run on TeaVM
|
2017-01-17 13:14:56 -05:00 |
Julian Dolby
|
46dddcfb66
|
Bug fix for CAst translation. When translating if statements, the system has a case where code to detect dead blocks mistakenly triggers even though the needed CFG edge will be added later. The if processing code now tells the CFG that the block is not dead, which prevents it from being prematurely removed.
|
2017-01-16 21:57:12 -05:00 |
Julian Dolby
|
8d04766aa9
|
more changes for CHAs
|
2017-01-12 16:36:26 -05:00 |
Julian Dolby
|
c9b1006305
|
changes for allowing seq. and conc. CHAs
|
2017-01-12 16:34:54 -05:00 |
Julian Dolby
|
602800524b
|
Hacks to make WALA run on TeaVM, and hence be able to run in Web browsers. TeaVM has some warts, but overall it is a very nice mechanism to run Java code on the browser. I have examples of analysis actually running in Firefox, which enables supportive tools. So, for those changes that are not ideal, such as dropping the ConcurrentHashMap in ClassHierarchy, we should find a way to support both them and TeaVM, based on demand.
|
2017-01-12 12:25:37 -05:00 |
Julian Dolby
|
7a69f752d0
|
type cleanups
|
2017-01-11 08:04:37 -05:00 |
Julian Dolby
|
137fed6e62
|
optionally dump CG
|
2017-01-05 14:10:11 -05:00 |
Julian Dolby
|
70dac5ca69
|
support for more languages
|
2017-01-05 14:09:52 -05:00 |
Julian Dolby
|
37989efb6a
|
adapt to teavm changes
|
2017-01-03 21:06:21 -05:00 |
Julian Dolby
|
15c8d711db
|
changes for working with TeaVM and compilation to JavaScript
|
2017-01-03 20:58:16 -05:00 |
Julian Dolby
|
d85226fa93
|
nnotation
|
2017-01-03 20:55:46 -05:00 |
Julian Dolby
|
51e59ef0bd
|
more support for more languages
|
2017-01-03 20:51:49 -05:00 |
Julian Dolby
|
12404a0ce6
|
Merge branch 'master' of https://github.com/wala/WALA
|
2017-01-03 18:59:24 -05:00 |
Manu Sridharan
|
f12b1a3df9
|
Merge pull request #130 from joana-team/dexlib-fix
Dexlib fix
|
2017-01-03 10:38:10 -08:00 |