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 |