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 |
|
msridhar1
|
f591d8a309
|
updated some values for 0-CFA call graph
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2669 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-04 17:32:47 +00:00 |
|
msridhar1
|
bb2d20cba4
|
switched to 0-CFA call graphs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2668 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-04 17:32:26 +00:00 |
|
sjfink
|
511afd1dec
|
tweak expected points-to set sizes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2658 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-04 03:36:22 +00:00 |
|
sjfink
|
feac4a9dd7
|
delete IClass.isStatic()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2647 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-03 01:47:13 +00:00 |
|
msridhar1
|
1f7b573bf6
|
added static inner class test (commented out assert for now)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2645 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-02 17:45:45 +00:00 |
|
sjfink
|
f9f139b776
|
reflection patches from Marco
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2642 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-02 01:40:11 +00:00 |
|
sjfink
|
413bed8c84
|
fix bug with phi instructions in synthetic IRs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2638 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-29 21:42:21 +00:00 |
|
msridhar1
|
3045547331
|
use static field instead of String constant
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2631 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-27 22:30:01 +00:00 |
|
sjfink
|
140df4d31a
|
tweak comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2629 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-27 18:38:00 +00:00 |
|
sjfink
|
77f8af276a
|
implement getMethods()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2628 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-26 15:24:42 +00:00 |
|
sjfink
|
52938ed6d8
|
support Method.invoke
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2624 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-26 04:51:32 +00:00 |
|
sjfink
|
140204230d
|
refactoring to generalize some reflection processing
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2620 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-26 03:42:18 +00:00 |
|
msridhar1
|
2a31547c24
|
filter out METHOD_ENTRY and METHOD_EXIT statements
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2606 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-22 23:12:12 +00:00 |
|
sjfink
|
203a25a0de
|
support getConstructors()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2602 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-22 01:44:39 +00:00 |
|
sjfink
|
6fd7472393
|
support for Constructor.newInstance()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2599 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-21 18:43:04 +00:00 |
|
msridhar1
|
50c798ee54
|
properly get regressions file using FileProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2597 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-20 18:21:46 +00:00 |
|
msridhar1
|
d442fc442f
|
small bug fix
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2595 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-20 17:50:17 +00:00 |
|
sjfink
|
d6c5b3bb55
|
thread IProgressMonitor and CancelException through many APIs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2578 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-13 22:34:50 +00:00 |
|
sjfink
|
d3996520dc
|
new logic to interpret Class.newInstance() on a class constant, such as generated by forName(String constant).
Thanks Marco.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2573 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-13 18:48:07 +00:00 |
|
sjfink
|
5b97508de0
|
change call graph test checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2553 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-08 02:09:47 +00:00 |
|
sjfink
|
04dff2d7af
|
bug fixes and new tests for new Class.forName processing.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2545 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-05 21:21:59 +00:00 |
|
sjfink
|
b5a21d45aa
|
generalize support for partially balanced tabulation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2538 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-05 15:56:20 +00:00 |
|
sjfink
|
ca73e26cf8
|
delete obsolete and broken OneCFABuilder
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2491 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-30 15:43:14 +00:00 |
|
msridhar1
|
e6713ae685
|
generalization of memory access maps
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2472 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-25 02:22:42 +00:00 |
|
sjfink
|
fa2968ca06
|
move WalaUtil to example driver package
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2468 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 23:21:47 +00:00 |
|
sjfink
|
c3e00cdcf3
|
move NodeDecorator to viz package
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2466 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 23:15:11 +00:00 |
|
sjfink
|
444d3a92b0
|
more cleanup of util packages
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2463 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 22:54:05 +00:00 |
|
sjfink
|
0038fdb93b
|
Delete CallGraphBuilderFactory. Related cleanups.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2458 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 22:38:54 +00:00 |
|
sjfink
|
4f0c72599f
|
just refactoring ... introduce 2 new packages in wala.util.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2450 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 22:06:31 +00:00 |
|
sjfink
|
ee3527adf5
|
bug fix
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2440 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 02:06:53 +00:00 |
|
sjfink
|
0d7f69e274
|
misc bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2439 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-24 01:58:34 +00:00 |
|
msridhar1
|
a95c9fd0d1
|
refactoring to allow for alternative flow graph implementations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-23 03:17:39 +00:00 |
|
sjfink
|
4fa9dfb414
|
work around weird failure for DominatorsA on a Sun 1.6_03 JDK on Win32
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2430 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-22 16:59:10 +00:00 |
|
sjfink
|
773a070ad2
|
delete obsolete xml files
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2429 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-22 16:43:06 +00:00 |
|
sjfink
|
27a0a61711
|
tweak a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2428 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-22 16:41:19 +00:00 |
|
sjfink
|
99bf9e25cf
|
turn off verbose:gc
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2427 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-22 16:35:59 +00:00 |
|
sjfink
|
48c8481c4a
|
bug fix
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2426 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-22 14:47:42 +00:00 |
|
sjfink
|
fcc98ee241
|
slicer cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2406 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-17 10:15:31 +00:00 |
|
sjfink
|
0019894a1b
|
revamp pi node construction
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2404 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-16 22:25:23 +00:00 |
|
sjfink
|
d0394f3ef9
|
change criteria for test2
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2401 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-16 21:12:29 +00:00 |
|
sjfink
|
3ffc8cb7a6
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2374 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-11 16:51:30 +00:00 |
|
sjfink
|
f328f67e1f
|
bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2359 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-11 14:43:01 +00:00 |
|
sjfink
|
8f07ab61c0
|
bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2358 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-11 14:41:15 +00:00 |
|
sjfink
|
5e7af75566
|
tweak some comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2357 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-11 13:59:42 +00:00 |
|
sjfink
|
f45dda3dae
|
tweak code formatting for enums
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2338 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-10 16:26:23 +00:00 |
|
sjfink
|
3f623ac0a7
|
bug fixes with InducedCFGs and context-sensitive slicing
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2306 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-07 20:31:17 +00:00 |