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 |
sjfink
|
2b1fae8f1a
|
set Version as requested by Ashish Patel
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2780 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-04 15:24:26 +00:00 |
msridhar1
|
2fc776af9c
|
minor change to demand points-to interface
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2775 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-30 17:18:11 +00:00 |
sjfink
|
c10084093a
|
initial check-in
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2763 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-22 12:15:03 +00:00 |
msridhar1
|
3f293dcc60
|
various refactorings for demand points-to analysis
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2758 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-12 21:58:39 +00:00 |
msridhar1
|
a8b09bef6b
|
remove a bunch of junk
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2757 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-11 15:19:41 +00:00 |
msridhar1
|
f18e69848a
|
added code to use progress monitor, other small changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2753 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-08 16:46:58 +00:00 |
sjfink
|
30f9303ee1
|
delete half-baked logic package
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2749 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-04 21:05:28 +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 |
msridhar1
|
cbcee6624f
|
change getPossibleTargets() to handle <init> methods specially
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2745 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-04 17:54:00 +00:00 |
msridhar1
|
4bb4e509ff
|
add logic that arrays implement Cloneable and Serializable
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2740 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-01 21:50:45 +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
|
bf3d1514d0
|
make it compile
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2719 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-19 20:31:50 +00:00 |
msridhar1
|
7de7e64f05
|
fix some bitrot, other small changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2717 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-19 20:21:28 +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
|
3085b16ae6
|
more reflection support
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2672 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-04 19:48:37 +00:00 |