Julian Dolby
15c8d711db
changes for working with TeaVM and compilation to JavaScript
2017-01-03 20:58:16 -05:00
Ben Liblit
e35b205bc2
Fix numerous unescaped "<" and ">" in Javadoc @author tags
...
The contents of @author go straight into HTML, just like most other
Javadoc material. So if you want to have a "<foo@bar.com>" e-mail
address as part of the author information, the angle brackets must be
escaped. Here I've opted to do that using "{@code <foo@bar.com>}",
which has some additional styling effects that seem appropriate for
e-mail addresses. We could also have used "<foo@bar.com>" for
escaping without code styling.
2016-11-27 21:24:03 -06:00
Julian Dolby
d10a50fc32
CPA smoke test
2016-09-15 21:33:51 -04:00
Julian Dolby
22ce3d1144
Merge https://github.com/steohan/WALA
2016-06-29 13:03:50 -04:00
Julian Dolby
76286a330c
make Android entrypoint locator work for source code
2016-06-10 21:21:08 -04:00
Andreas Sewe
e2e5bcf435
SecurityExceptions when analyzing JARs with broken/expired signatures
...
See <https://github.com/wala/WALA/issues/100 >
2016-06-08 11:08:10 +02:00
Julian Dolby
065a3ff767
pruned call graph takes edges as well as nodes
2016-06-06 14:17:12 -04:00
steohan
715b1e86fe
Merge pull request #1 from wala/master
...
Pull from Wala
2016-01-13 02:23:04 +01:00
Stephan Gocht
672876c595
Added Testcases for ExceptionAnalysis and ExceptionAnalysis2EdgeFilter.
2016-01-13 02:07:58 +01:00
Stephan Gocht
0387bd1591
Removed Warning
2016-01-10 15:34:10 +01:00
Stephan Gocht
b75d93cb1c
Changed pi policy to only create pi nodes for integer variables.
2016-01-08 14:10:55 +01:00
Manu Sridharan
0eabfa2d05
Add slicer test
...
This test relates to a mailing list question from
Gebrehiwet Biyane Welearegai:
https://groups.google.com/forum/#!topic/wala-sourceforge-net/lS7lyCHfAaw
2015-12-14 10:34:10 -08:00
Stephan Gocht
3acd97ebfb
Fixed assertion fault, in case of multidimensional arrays.
2015-11-15 21:05:39 +01:00
Stephan Gocht
dfaa44d111
Added quicksort example, and made larger change as it wasn't as expected
...
first. This change should improve the results of the analysis.
2015-11-06 18:52:11 +01:00
Stephan Gocht
7d7e236fd6
Added test for exception pruning (including example for usage).
2015-10-23 14:56:33 +02:00
Stephan Gocht
851f9b2ef3
Added comments.
2015-10-23 14:56:02 +02:00
Stephan Gocht
f8cae1b509
Added Tests and Testdata for array bounds analysis.
2015-10-19 23:20:36 +02:00
Manu Sridharan
077cabc4eb
Revert "update version to 1.3.8"
...
This reverts commit 4aac703ee5
.
2015-10-09 11:03:46 -07:00
Manu Sridharan
4aac703ee5
update version to 1.3.8
2015-10-09 10:45:57 -07:00
Julian Dolby
26b126203d
fix imports; restructure annotations tests
2015-09-16 13:25:21 -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
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
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
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
Julian Dolby
31f9f1b0b5
more exclusions
...
allow 1.8 libs
2015-06-04 15:51:46 -04:00
Julian Dolby
58b7c7324c
test for reading java 8
2015-06-04 13:53:25 -04:00
Julian Dolby
b34fe4d21f
Merge branch 'master' of https://github.com/wala/WALA
...
Conflicts:
com.ibm.wala.ide.jsdt.tests/META-INF/MANIFEST.MF
2015-06-02 23:00:32 -04:00
Julian Dolby
63ec46f67d
1) changes for mobile
...
a) serializable added for use by Android services
b) test classes refactored to allow Android variants to use JUnit 3
2) shrike instrumentation now uses java.lang.instrument
a) refactoring
b) online variants of call graph tracing
2015-05-25 19:00:51 -04:00
Julian Dolby
b7cf88e214
mobile tests changes
2015-04-07 19:34:27 -04:00
Julian Dolby
0975441a43
changes for hybrid analysis
2015-04-05 21:19:56 -04:00
Julian Dolby
de26484098
java annotations support for dalvik
2015-03-04 13:49:58 -05:00
Julian Dolby
5cc870dd77
fixes to Dalvik support, and work on running Dalvik tests on Travis
2015-02-26 09:34:03 -05:00
Cosmin Radoi
853b5fc37a
replace Filter with Predicate
2014-11-25 13:23:47 -06:00
Julian Dolby
e14a5b4c08
try -noverify to silence travis ci errors
2014-11-18 23:21:58 -05:00
Julian Dolby
bf7dbe6359
misc fixes
2014-11-18 22:37:51 -05:00
Manu Sridharan
4a67dacfd8
Merge pull request #59 from cos/ssa-equals-based-on-id
...
`SSAInstruction` equals based on its `iindex`
2014-11-11 20:02:13 -08:00
Julian Dolby
71f16d4f1b
try not using URLClassLoader
2014-11-11 20:03:09 -05:00
Cosmin Radoi
a97df8ceec
test revealing SSA cache problem
2014-11-10 11:59:06 -06:00
Julian Dolby
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
Julian Dolby
36709b9d1a
java 7 support, with much pain for stack maps :)
2014-10-06 15:34:16 -04:00
Julian Dolby
a1bc84356d
scandriod merge
2014-10-01 21:32:36 -04:00
Julian Dolby
774be73672
Merge https://github.com/jgf/wala-mirror
2014-09-11 10:43:13 -04:00
Julian Dolby
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
Juergen Graf
6f8aee80c6
Merge branch 'wala' into master
2014-07-28 17:09:02 +02:00
Julian Dolby
861bf48c7f
remove hard-coded refs to /tmp
2014-06-29 15:07:09 +02:00
Michael Heilmann
0bb5e6998e
Remove redundant casts and imports, improve doc comments
2014-06-26 17:51:26 +02:00
Juergen Graf
4772f36d47
add standard type parameter to most pointer analysis references. When it breaks we move back to ? extends InstanceKey.
2014-05-20 22:00:06 +02:00