Julian Dolby
fe636f4b97
Merge branch 'master' of https://github.com/wala/WALA
2017-04-24 16:28:34 -04:00
Manu Sridharan
ed4b0e45ee
add test case for mailing list issue
2017-04-16 20:40:41 -07:00
Julian Dolby
6cdeedd5e9
changes for analysis cache view
2017-03-15 22:06:19 -04: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
Julian Dolby
c9b1006305
changes for allowing seq. and conc. CHAs
2017-01-12 16:34:54 -05:00
Julian Dolby
15c8d711db
changes for working with TeaVM and compilation to JavaScript
2017-01-03 20:58:16 -05: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
Julian Dolby
26b126203d
fix imports; restructure annotations tests
2015-09-16 13:25:21 -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
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
Michael Heilmann
63ed63e7fa
add test for GetMethod context, interpreter and selector
2014-05-20 13:08:32 +02:00
Manu Sridharan
9bc5bcbb3c
Disable certain tests when analyzed classes are in a jar file.
...
These tests create FileModules for certain class / source files,
and hence assume those files are sitting in the filesystem. We
should come up with a better fix here.
2013-05-26 14:45:50 -07:00
Manu Sridharan
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
Manu Sridharan
c415f3e0fd
Enhanced pointer analysis to reason that arrays known to be of zero length
...
cannot have any contents.
2012-05-09 15:35:54 -06:00
msridhar1
0ca5dc1c0e
better fix for PDG bug reported by Ravi Chandran
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3967 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-06 17:03:35 +00:00
msridhar1
029b1fc1fd
Fix for bug reported by Ravi Chandran on the mailing list (10/01/2010). Properly add edges from method entry in the PDG
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3965 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-05 18:45:43 +00:00
msridhar1
460477e074
fix bug in PDG contruction for a case involving infeasible bytecodes; add corresponding test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3843 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-17 16:57:52 +00:00
msridhar1
19bcb326a4
slicer bug fix: properly include the actual call statement (along with various PARAM_CALLER statements) in the set of call statements
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3807 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-19 23:03:47 +00:00
msridhar1
93a4571961
undo WalaTestCase extending TestCase; dependent projects will have to be switched to JUnit 4. Also, more optimizations.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3742 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-27 22:43:06 +00:00
msridhar1
f8c06cc6ef
maintain JUnit 3 compatibility, e.g., for CAst
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3741 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-27 21:14:59 +00:00
msridhar1
02e7bf2894
switch to jUnit 4
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3739 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-27 20:38:48 +00:00
sjfink
e39897e619
tweak comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3724 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-13 17:58:45 +00:00
sjfink
a0efbee8ff
Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-22 15:06:12 +00:00
sjfink
b1f300156e
patch from yinnon to make analysis scopes obey list order
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-17 19:52:27 +00:00
dolby-oss
884d1b9017
allow use of progress monitors in importing projects into test workspaces
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3132 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-16 14:26:11 +00:00
msridhar1
f660841a6e
new test case for multinewarray. commented out, since it currently fails
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2973 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-28 18:02:30 +00:00
dolby-oss
17b4762ec6
add test for control dependence of phi nodes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2969 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-27 21:39:00 +00:00
sjfink
e7db05a66c
hide generics warnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2854 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-28 17:49:38 +00:00
dolby-oss
ed8a7159e6
remove dependence from cast.java.test to eclipse.tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2850 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-27 13:29:35 +00:00
sjfink
8fe9467be8
remove references to Trace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2830 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-22 19:17:23 +00:00
pistoia
2197b8237a
Added support for additional reflective methods
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2746 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-04-04 19:45:56 +00:00
sjfink
bf8e4d8b58
more reflection tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2726 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-21 14:58:58 +00:00
msridhar1
6e92ca411b
fixed bug in handling of arrays in TypeBasedPointerAnalysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-11 17:56:22 +00:00
sjfink
f9f139b776
reflection patches from Marco
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2642 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-02 01:40:11 +00:00
sjfink
77f8af276a
implement getMethods()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2628 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-26 15:24:42 +00:00
sjfink
140204230d
refactoring to generalize some reflection processing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2620 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-26 03:42:18 +00:00
sjfink
203a25a0de
support getConstructors()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2602 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-22 01:44:39 +00:00
sjfink
6fd7472393
support for Constructor.newInstance()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2599 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-21 18:43:04 +00:00
sjfink
d3996520dc
new logic to interpret Class.newInstance() on a class constant, such as generated by forName(String constant).
...
Thanks Marco.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2573 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-13 18:48:07 +00:00
sjfink
04dff2d7af
bug fixes and new tests for new Class.forName processing.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2545 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-05 21:21:59 +00:00
sjfink
27a0a61711
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2428 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-22 16:41:19 +00:00
sjfink
6fb624701f
fix bug [ 1850456 ] error "I is null" when slicing
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2183 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-14 14:29:44 +00:00
dolby-oss
1d62ddf160
remove EMF
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2162 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-12 20:47:35 +00:00
dolby-oss
f693ef03ed
test to expose data dependence issue for GetCaughtException in slicer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1772 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-19 18:01:59 +00:00
dolby-oss
ad59ddd178
slight extension to slicing test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1749 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-13 16:01:31 +00:00
dolby-oss
10e631a752
fix for compilation against junit4 libs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1741 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-07 11:52:24 +00:00
sjfink
10492c7298
massive overhaul of Warnings management
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1379 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:07:24 +00:00
sjfink
0e243489e8
test reported slicing bug: unreproduced
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1334 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-03 10:55:52 +00:00
sjfink
68270cad6f
mv stuff to trunk
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2006-11-22 17:45:24 +00:00