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

438 Commits

Author SHA1 Message Date
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
yinnon_haviv 9cae049830 Added viewer for CHA/CG/PA for Java/JavaScript. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-09-28 17:11:12 +00:00
yinnon_haviv a0cd2bc66d Use default JRE in launcher 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3946 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-09-28 08:08:55 +00:00
msridhar1 ab142b7cbd fix documentation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3898 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-09-01 15:50:53 +00:00
msridhar1 fdcd232490 small change for case of missing calls 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3850 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-06-01 16:08:24 +00:00
msridhar1 cdbaa7a2ac added failing test for type inference regression 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3844 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-19 21:09:09 +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 f8b56e13ec more launcher fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3840 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-13 22:10:18 +00:00
msridhar1 64db83538f delete duplicate launchers. Fix SWTTypeHierarchy launcher. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3839 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-13 21:58:58 +00:00
msridhar1 248db587a9 add IFDSExplorerExample 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3836 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-05-12 22:58:32 +00:00
msridhar1 f76602dbfb clean up interface for creating a DemandRefinementPointsTo class, and make the internal ThisFilteringHeapModel package visible 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3827 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-30 17:13:14 +00:00
msridhar1 f01fae7482 delete some commented code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3826 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-30 17:12:17 +00:00
msridhar1 e25b29ed48 added documentation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3824 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 20:00:20 +00:00
dolby-oss be5edcae8b use latest cache interface 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3821 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:36:22 +00:00
dolby-oss f2a390d485 adapt to checkcast change 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3820 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:35:53 +00:00
dolby-oss 3c8c5e2059 clean up @author 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3819 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:35:34 +00:00
dolby-oss e0ef61507c fix for 1.6 on mac 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3818 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 19:35:14 +00:00
msridhar1 fe13a2d35b several variants of reaching defs analysis, including test class and a bit of test data. still needs better documentation 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3815 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-28 16:53:07 +00:00
dolby-oss b7a6299afb change a test to handle differing heap deps in different versions of the std lib 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3808 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-21 14:46:12 +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 6b9ec42cb8 javadoc / formatting fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3806 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-04-07 17:11:13 +00:00
msridhar1 cab2bcfd07 add an example of constructing IRs and use of ReferenceCleanser 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3805 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-03-15 22:58:41 +00:00
sjfink cea1d68710 exlude org.netbeans.* and org.openide.* 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3802 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-02-11 15:19:27 +00:00
yahave 23f99d6101 fixed path to example (moved from com.ibm.wala.core.tests to com.ibm.wala.ide.tests) 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3778 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-12-20 21:55:50 +00:00
msridhar1 db3c03dbce fix comment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3775 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-12-03 16:38:28 +00:00
msridhar1 9fc5e5f016 one more flows-to test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3767 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-19 17:12:21 +00:00
msridhar1 4b34785700 bug fixes for flows-to 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3766 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-19 17:09:20 +00:00
msridhar1 24caeb7088 more flows-to tests 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3765 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-18 22:15:23 +00:00
msridhar1 f6afa934f8 bug fix for flows-to 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3764 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-18 21:53:07 +00:00
msridhar1 65bb454180 added ability to compute "flows-to sets" on demand; initial check-in, needs more testing 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3763 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-11-18 21:22:33 +00:00
msridhar1 24d28210e8 more caching of class hierarchies 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3750 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-28 02:26:03 +00:00
msridhar1 ab47cddadf more speedups 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3749 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-28 01:47:06 +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 105a263cc5 cached class hierarchy to speed things up 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3740 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-27 21:03:33 +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 4a80ac1984 tweak comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3726 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-13 18:01:00 +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 bf740fb945 add some comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3713 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-07-02 18:19:24 +00:00
sjfink fde4a16a23 refactor: move Predicate to com.ibm.wala.util 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3705 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-26 13:06:16 +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
msridhar1 f85b2506d8 fix bugs in launcher 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3681 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-18 13:59:41 +00:00
sjfink 6fb883c0da change declared WalaException to IllegalStateException 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3656 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-12 14:31:33 +00:00
msridhar1 06da9eb3cd another type inference test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3636 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-04 14:03:08 +00:00
msridhar1 a78e1574da add new type inference test 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3633 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-06-03 21:09:48 +00:00
sjfink f229e9c2ac mostly comments. A few new type parameters. No semantic changes. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3620 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-29 15:26:35 +00:00
sjfink f39b9cf43a revert previous checkin (a major API change to IClass.getSourceFile()) 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3584 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-07 14:38:07 +00:00
omertripp 2113f3e601 REFACTOR: - code changes to accommodate .NET into WALA. A .NET class maps onto multiple source files, and thus these changes. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3583 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-07 14:14:28 +00:00
sjfink db1bc2fadc fix broken CAst builds. 
deprecate Internal and NonNull annotations

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3577 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-07 13:51:24 +00:00
sjfink de6adbc4d7 more migration to Java assertions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-05-01 17:42:28 +00:00
sjfink 9939142eae switch from Assertions._assert to Java assertions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-30 13:16:52 +00:00
sjfink 3fb8781d9d comments and deprecate some unused code 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3522 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-22 19:11:18 +00:00
sjfink 26e9f2a0b0 comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3508 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-22 16:47:27 +00:00
sjfink 31a8bf2575 add a test for TryFinally IR construction 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3458 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-14 20:05:23 +00:00
dolby-oss e80dc6ef8c refactor handling of constants in Shrike to abstract away from Java bytecode 
introduce factories to create SSAInstruction objects


git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-10 18:33:07 +00:00
sjfink 957cb2b8ca deprecate Trace 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-09 20:31:14 +00:00
sjfink 9490bbd26f tweak launchers 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3431 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-09 20:08:16 +00:00
msridhar1 e08ed2663f Deprecate Iterator2Collection.toCollection(); use toSet() or toList() instead. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3421 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-09 15:24:42 +00:00
msridhar1 98c651fee4 rename a bunch of things from GV to PDF. Fix up example launchers to take input from workspace_loc instead of c:\temp. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3412 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 18:25:05 +00:00
msridhar1 002e29dcb0 start renaming things from GV/ghostview to pdf 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3411 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 17:34:40 +00:00
msridhar1 ced43326b1 change to reflect PDF output 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3409 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 15:57:33 +00:00
msridhar1 dd714660f4 more comment fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3408 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 15:57:01 +00:00
msridhar1 d790f5a52c update max heap to be consistent with wiki 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3406 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 14:47:40 +00:00
msridhar1 ae40af3a62 update comments for Mac 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3405 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-04-03 14:46:50 +00:00
sjfink 7fdacaef22 more IllegalArgument checks 
propagate IOExceptions when reading AnalysisScopes from files

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3396 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-31 20:16:52 +00:00
egeay b70fb523cb git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3375 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2009-03-26 22:33:32 +00:00
yinnon_haviv ddbbcac07b Added support for reading runtime visible annotations 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3360 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-22 07:51:11 +00:00
msridhar1 16bc6fa6e2 non-windows launcher; just changed where console output is stored 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3356 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-19 15:14:45 +00:00
sjfink 656bafa923 fix weird build issue 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3304 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-13 16:05:37 +00:00
sjfink 993ac3264f mostly new IllegalArgumentExceptions 
a few minor cleanups

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3270 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-10 16:12:40 +00:00
sjfink 94224b40b8 small cleanups 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3268 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-03-09 18:11:50 +00:00
msridhar1 5afbe456b6 fix execution environment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3243 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-02-26 18:23:24 +00:00
dolby-oss 7118bd6573 adapt to core changes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3232 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-02-19 16:01:24 +00:00
msridhar1 407ced0a18 export the com.ibm.wala.core.tests.plugin package 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3210 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-02-03 20:42:44 +00:00
msridhar1 91c850058b add option to (unsoundly) ignore possible static initializer calls when building call graph 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3187 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-01-21 18:18:26 +00:00
sjfink 7efbde9f91 fix path 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3176 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2009-01-19 19:18:53 +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
dolby-oss 69e2ff9589 added activation class to ease use of stuff by other plugin projects in a running Eclipse 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3131 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-12-16 14:23:04 +00:00
msridhar1 c461057ece change to 1.5 execution environment; fix some warnings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3102 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-12-01 21:50:54 +00:00
sjfink 66884c2c37 fix Eclipse 3.4.1 compiler warnings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3100 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-12-01 19:40:43 +00:00
msridhar1 4c37cfc4dd moved primordial.txt to wala.core, to avoid implicit dependence from core to core.tests 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3088 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-11-20 01:50:55 +00:00
sjfink 2fa95eb600 fix classpath 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3024 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-09-04 13:31:42 +00:00
sjfink b82c58ee03 fix path 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3009 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-08-25 14:20:35 +00:00
sjfink 3aefc3e1ea support for reading InnerClass attributes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2992 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-08-15 14:49:53 +00:00
sjfink 48170df6c4 tweak semantics of multinewarry length parameters ... don't use 0 to indicate missing dimensions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2978 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-07-28 21:02:23 +00:00
sjfink c74560050e fix multinewarray bug 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2975 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-07-28 18:43:02 +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
dolby-oss 9d0131b0be add test for control dependence of phi nodes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2968 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-07-27 21:38:50 +00:00
sjfink 4caea6dc84 tweak code format 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2944 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-07-04 01:56:38 +00:00
sjfink 9f96656dc2 bug fixes for ExplodedCFG for some synthetic methods 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2924 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-06-27 18:43:01 +00:00
sjfink 677927e83d tweak code format 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2910 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-06-25 14:58:40 +00:00
msridhar1 7cd9b4cfcc ClassHierarchy to IClassHierarchy 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2899 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-06-20 17:10:26 +00:00
sjfink e3546de635 migrate from deprecated API 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2875 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-06-01 22:29:25 +00:00
sjfink de96729255 fix typo 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2873 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-29 20:07:37 +00:00
sjfink 6c9d18f326 switch to short profile 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2872 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-29 19:56:34 +00:00
sjfink a123ca68f1 more cruise stuff 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2870 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-29 19:33:58 +00:00
sjfink ecac33ec5c more cruisecontrol support 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2869 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-29 19:28:36 +00:00
sjfink e6b0f3fadb more ant tweaks 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2867 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-29 16:54:31 +00:00
sjfink 04b9dff056 generate linux build file 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2866 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-29 15:34:20 +00:00
sjfink 95a36cedd9 more UTF-8 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2864 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-29 12:04:31 +00:00
sjfink 6a6ab3346c use UTF-8 in comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2859 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-28 18:03:34 +00:00
sjfink 63df214916 set javacFailOnError 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2856 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-28 17:51:02 +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 3e4e738a39 remove dependence from cast.java.test to eclipse.tests 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2851 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-27 13:30:18 +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 0f43338813 fix a comment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2848 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-25 19:26:25 +00:00
sjfink 796eb7a879 another example program requested by Amer Diwan 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2847 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-25 19:23:31 +00:00
sjfink 8c83635562 a new example program, requested by Amer Diwan 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2846 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-25 19:16:15 +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
sjfink 7f240b4c4d git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2822 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2008-05-18 14:03:05 +00:00
msridhar1 aa07659a5d new method pointsToPassesPred() for demand points-to analysis; various refactorings; some new tests 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2820 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-16 19:19:53 +00:00
msridhar1 5569d461af switch demandpa tests to use PABasedMemoryAccessMap 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2818 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-15 18:32:23 +00:00
msridhar1 3ee24d710e added PABasedMemoryAccessMap; added getHeapModel() to MemoryAccessMap 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2817 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2008-05-15 18:04:43 +00:00