DASCA/WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
3,736 Commits 8 Branches 13 Tags 81 MiB
0a7a3092b1
Commit Graph

366 Commits

Author SHA1 Message Date
Manu Sridharan
0a7a3092b1 trying to get around classloading issues 2013-05-27 09:45:50 -07:00
Manu Sridharan
cfc01b5ab6 fix up wala.core.testdata structure so things work from maven 
We put all the jar files (the testdata jar, JLex, etc.) in the root
directory now, and set up the build.properties so that these jars get
copied into the final plugin jar, making the tests work properly from
maven.  We also still copy the jars into the bin/ directory, so the
Eclipse launchers still work.
 2013-05-26 14:47:00 -07: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
b23756924e pass appropriate VM args when running tests 2013-05-26 14:45:24 -07:00
Manu Sridharan
878cfa615d changes to get tests passing on Java 7 2013-05-26 10:07:46 -07:00
Manu Sridharan
8f9e988cef enable running wala.core.tests in maven build 2013-05-25 16:14:04 -07:00
Manu Sridharan
3b1889121b add missing copyright headers 2013-05-22 15:39:19 -07:00
Julian Dolby
310d0fff25 changes to ease use of WALA from an executable jar. also some very 
basic support for GXL, a graph format used by some software engineering
tools.
 2013-05-15 13:36:30 -04:00
Manu Sridharan
c0e3cb9831 fix for handling of static methods in ContainerContextSelector 2013-05-14 14:17:26 -07:00
Manu Sridharan
16a0e02fa0 add utility methods for creating n-CFA call graph builders 2013-05-10 20:55:13 -07:00
Manu Sridharan
30686135da Fix for bug with pi nodes reported by Andreas Sewe 
We weren't handling the case where the val of the pi instruction
had an implicit points-to set.
 2013-05-07 14:43:49 -07:00
Manu Sridharan
d149ca2c73 Revert fix for tests; we need to figure out the right fix here. 
This reverts commit cab3c6c0c4.
 2013-05-02 10:55:45 -07:00
Cosmin Radoi
edbdf989a9 right classloader for call graph tests 2013-04-29 13:13:23 +02:00
Marcel Bruch
7c2d18cd58 [releng] added preliminary maven tycho build support 2013-04-29 13:13:22 +02:00
Manu Sridharan
00eb1d2bd2 Set all projects to build against Java 6; no semantic change. Fixes #20 2013-04-10 16:01:27 -07:00
Manu Sridharan
9549da9954 read runtime-visible annotations for fields 2013-04-08 13:50:26 -07:00
Julian Dolby
321e925660 work on CHA 2013-04-03 12:12:43 -04:00
Manu Sridharan
182363bf88 fix bug involving paths with spaces 2013-01-30 17:29:41 -08:00
Manu Sridharan
72f85ba2a9 add a simple driver for building a call graph via a scope file 2013-01-25 10:41:11 -08:00
Manu Sridharan
ba228963bf better handling of missing bytecodes 
In some cases, class files will have non-abstract methods with no
bytecodes (e.g., stubs for compilation purposes).  While such a class
file is invalid, we want to enable clients to handle such an error.
With these changes, Shrike will throw an InvalidClassFileException for
such cases, and WALA's IR construction code will throw a
WalaRuntimeException.
 2013-01-21 15:27:13 -08:00
Manu Sridharan
60db861a5f complete conversion to Unix line endings 2012-09-04 16:05:49 -07:00
Manu Sridharan
56f3d847a5 more conversion to Unix line endings 2012-09-04 15:59: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
Julian Dolby
4a850a9510 added the com.ibm.wala.ide.jdt project 2012-08-21 18:52:09 -04:00
dolby
72e8dc9098 reorganize stuff for using JavaScript stuff from Eclipse 2012-08-21 09:48:53 -04:00
Manu Sridharan
3317c1ccf6 basic compatibility with Java 7 (i.e., don't crash immediately) 2012-08-03 15:41:09 -07:00
dolby
4b3cba710d changes from upstream 2012-06-29 15:47:54 -04:00
Manu Sridharan
c116f16823 got code to compile again, and wala.core regression tests pass 2012-04-16 22:30:03 -04:00
Manu Sridharan
2edb070437 changed FileProvider to have instance methods 2012-04-16 14:57:14 -04:00
msridhar1
d81d8569eb fix test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4554 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-04-03 22:43:34 +00:00
msridhar1
1d28b2dc26 fix for bug reported by Juergen Graf: handle multiple fields with the same name in a JVM class 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4552 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-04-03 22:26:12 +00:00
msridhar1
7630cd79c9 Revamped support for reading Java annotation information from .class files. 
The code should handle all cases now, and the APIs are improved.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4422 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-11 17:11:59 +00:00
msridhar1
cbd8b63142 undo change to SlicerTest 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4291 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-12-28 17:03:42 +00:00
msridhar1
59e46916ce Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-12-28 17:03:27 +00:00
sjfink
6c4fcdcbee bug fix from David Young: use File.pathSeparator 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4280 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-10-10 13:03:00 +00:00
dolby-oss
7a6af352b9 moved IR-independent visualization of graphs to util project 
added DFS path find that finds all paths in sequence rather than just one
moved the WalaException out of warnings subpackage

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4257 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-08-16 16:51:11 +00:00
msridhar1
253444a6ad make demand pointer analysis tests less dependent on standard library implementation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4234 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-25 18:10:31 +00:00
msridhar1
e9199401c9 change to remove time blowup in test on recent Java versions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4231 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 21:48:15 +00:00
msridhar1
deddf6ecbe make the condition checked by a couple of tests more specific, to avoid issues with different Java library versions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4230 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 21:29:57 +00:00
msridhar1
981e04f243 update to work on Windows 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4229 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 20:26:04 +00:00
msridhar1
25b0e33015 fix test to be less dependent on library code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4228 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 20:24:35 +00:00
msridhar1
214e541ed0 added more exclusions to get tests to run in a reasonable amount of time 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-22 19:45:41 +00:00
dolby-oss
15c202f8e6 Welsh-Powell graph coloring 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-06-01 21:47:15 +00:00
msridhar1
f8197b4f2c patch to fix FileProvider bug from Marcel Bruch 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-05-27 19:50:33 +00:00
dolby-oss
4da02a9125 Changes to extend supported context sensitivity to CPA-style: 
1) extend ContextSelector interface to allow it to specify parameters of interest
  2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
  3) various related fixes and extensions:
    a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
    b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
    c) a bit more support for empty int sets
    d) void function objects
    e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
    f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
    

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-27 13:58:56 +00:00
msridhar1
857e456806 organize imports 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-03 04:08:05 +00:00
msridhar1
9aa9187edc fix for CFG bug reported by Benedikt N on mailing list, plus test case 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4077 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-03-24 19:41:46 +00:00
msridhar1
e3564dce02 change ClassHierarchy to IClassHierarchy 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4076 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-03-21 16:04:45 +00:00
msridhar1
fb10bd4611 uncomment test and indicate why we don't currently run it 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4063 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-03-01 18:15:17 +00:00
msridhar1
c0b30598f4 added another test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4060 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-02-10 00:01:32 +00:00