sjfink
|
43653f686b
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2943 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-04 01:56:35 +00:00 |
sjfink
|
6efd98c8ce
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2942 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-04 01:56:31 +00:00 |
sjfink
|
f8a8d1f32a
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2941 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-04 01:56:26 +00:00 |
sjfink
|
f81248a028
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2940 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-04 01:56:21 +00:00 |
sjfink
|
47857f7041
|
fix a bug with object-sensitivity context selection and recursion
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2939 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-01 20:45:24 +00:00 |
sjfink
|
711d039714
|
patch [ 2007659 ] Get node numbers for labeled graphs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2938 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-01 13:53:21 +00:00 |
sjfink
|
efd9b82fc7
|
export source files too
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2937 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-01 01:55:38 +00:00 |
sjfink
|
80fcdc7bd5
|
tweak arraycopy model
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2936 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-01 01:52:34 +00:00 |
sjfink
|
d79f973426
|
words
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2935 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-01 01:51:20 +00:00 |
sjfink
|
467e0f2a6a
|
bug fix for IR with no instructions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2934 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-01 01:36:31 +00:00 |
sjfink
|
9db1a8f489
|
publicize a field
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2933 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-30 17:47:39 +00:00 |
dolby-oss
|
dec4be0425
|
adapt to different notions of exception types for different languages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2932 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-30 14:09:43 +00:00 |
dolby-oss
|
4da002f47c
|
adapt to different notions of exception types for different languages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2931 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-30 14:07:35 +00:00 |
sjfink
|
257cb0d5d5
|
more work generalizing work list
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2930 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-29 22:51:39 +00:00 |
sjfink
|
9cc41a4422
|
generalize tabulation worklist API
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2929 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-29 22:22:56 +00:00 |
sjfink
|
834978377f
|
support char constants
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2928 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-29 19:27:45 +00:00 |
sjfink
|
52f7599270
|
tweak Tables API with comment characters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2927 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-29 11:53:27 +00:00 |
sjfink
|
7b8dd408d5
|
generalize handling of constants
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2926 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-27 20:49:41 +00:00 |
sjfink
|
074f472774
|
generalize handling of integer constants
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2925 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-27 19:23:24 +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
|
58921ecc59
|
bug fixes for ExplodedCFG for some synthetic methods
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2923 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-27 18:42:44 +00:00 |
sjfink
|
5ac13ccdbc
|
support adding allocation with calling constructor
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2922 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-27 16:51:42 +00:00 |
sjfink
|
1422b44676
|
small cleanups around synthetic classes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2921 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-27 15:39:35 +00:00 |
sjfink
|
1df8568c23
|
bug fix to recover from broken invariant in javascript land
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2920 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-27 15:38:54 +00:00 |
sjfink
|
890692d4d0
|
new method addReturn()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2919 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-27 13:59:51 +00:00 |
sjfink
|
c4adb34e75
|
words
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2918 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-27 13:58:56 +00:00 |
sjfink
|
6e9d15b3a7
|
cache cfgs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2917 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-26 18:23:32 +00:00 |
sjfink
|
b364bbcf94
|
delete obsolete annotation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2916 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-26 18:23:08 +00:00 |
sjfink
|
823ea26c02
|
small local optimization
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2915 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-26 18:22:30 +00:00 |
msridhar1
|
6b82b15311
|
removed a call to intern()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2914 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-26 18:12:14 +00:00 |
sjfink
|
553af73e87
|
bug fixes for handling CancelRuntimeException during tabulation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2913 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-26 14:36:49 +00:00 |
sjfink
|
456eaa7978
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2912 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 15:00:47 +00:00 |
sjfink
|
ee2fa39179
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2911 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:59:58 +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 |
sjfink
|
b7b9575853
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2909 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:52:04 +00:00 |
sjfink
|
0e0392862a
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2908 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:50:48 +00:00 |
sjfink
|
1c4d2a0472
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2907 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:48:18 +00:00 |
sjfink
|
7e9a265b9a
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2906 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:46:50 +00:00 |
sjfink
|
c8cdff09ec
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2905 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:45:02 +00:00 |
sjfink
|
b68a459448
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2904 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:37:09 +00:00 |
sjfink
|
4142366236
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2903 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:08:57 +00:00 |
sjfink
|
c45322af44
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2902 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-25 14:07:22 +00:00 |
sjfink
|
ce351496cf
|
tweak some printing
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2901 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-23 20:11:08 +00:00 |
yinnon_haviv
|
ee863a40f9
|
added docs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2900 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-21 20:32:52 +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 |
msridhar1
|
bc51c3a3bd
|
use IClassHierarchy instead of ClassHierarchy
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2898 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-20 17:02:53 +00:00 |
sjfink
|
ac2455a530
|
words
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2897 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-19 18:49:13 +00:00 |
sjfink
|
527e2037ac
|
add method selectStarWhere
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2896 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-19 18:44:18 +00:00 |
msridhar1
|
e80035b0f9
|
small tweaks
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2895 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-19 15:02:38 +00:00 |
msridhar1
|
a5a37d4c99
|
new class
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2894 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-06-19 14:36:44 +00:00 |