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

352 Commits

Author SHA1 Message Date
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
msridhar1 06b652d1fb fix bug reported by Benedikt Nordhoff on mailing list: for cases where an enclosing exception handler catches all exception types, don't add an exceptional edge from a throw instruction to method exit. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4057 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-02-08 23:41:03 +00:00
sjfink 3a49f17ebc update code formatting for Eclipse 3.6 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-02-03 15:14:47 +00:00
sjfink 6bd8363503 refactor to isolate core utilities from dependence on Eclipse IProgressMonitor 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4034 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-01-17 22:06:58 +00:00
sjfink fa825de846 refactoring of fixpoint API 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4033 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-01-17 21:43:18 +00:00
msridhar1 b3df24132f move BitVectorKillAll to wala.core 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4023 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-01-03 21:09:21 +00:00
msridhar1 88eaba4ee7 add models for System.getProperty() methods to fix bug reported by Ravi Chandran on mailing list 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4002 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-11-23 17:39:19 +00:00
msridhar1 2ed3b05257 bug fix 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3986 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-11-03 17:49:06 +00:00
msridhar1 7a5d3baacd bug fix for CFGSanitizer 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3984 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-20 20:38:44 +00:00
dolby-oss d4ee31ad9e added clear() method to mutable int sets 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3981 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-15 02:10:44 +00:00
dolby-oss 502db2afb9 make some stuff static 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3977 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-11 14:35:08 +00:00
dolby-oss 48ff32f2e3 copyright comment update 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3975 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-11 14:29:47 +00: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
dolby-oss ed889de199 added Floyd-Warshall all pairs shortest path implementation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3964 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-10-04 17:27:56 +00:00