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 |
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
|
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
|
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
|
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 |
yinnon_haviv
|
d120be37b0
|
Added support for reading runtime visible annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3362 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-22 07:51:43 +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
|
37c5e8459c
|
add a type parameter
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3154 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-01-05 13:46:20 +00:00 |
msridhar1
|
5fd0909a7d
|
changed execution environment to J2SE1.5. Fixed some warnings.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-02 17:01:50 +00:00 |
sjfink
|
1d9e899d93
|
fix some warnings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3103 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-12-01 22:07:00 +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 |
sjfink
|
fb051a41da
|
support for reading InnerClass attributes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2990 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-08-15 14:49:33 +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
|
01d3dcb93a
|
add test for control dependence of phi nodes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2970 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-27 21:39:35 +00:00 |
sjfink
|
7a5498d516
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2948 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-04 01:56:56 +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
|
36cb312969
|
more UTF-8 fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2860 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-28 18:38:46 +00:00 |
sjfink
|
888a700270
|
use UTF-8 in comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2858 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-28 18:02:53 +00:00 |
sjfink
|
7cc627ad65
|
set javacFailOnError
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2855 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-28 17:50:50 +00:00 |
dolby-oss
|
ee385429a1
|
add test files for string operations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2835 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-05-23 15:42:45 +00:00 |
pistoia
|
8dc5fb5cb3
|
Tests for new reflection-modeling code
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2751 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-04 22:51:57 +00:00 |
pistoia
|
32d846a7f4
|
Added support for additional reflective methods
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2748 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-04-04 19:46:09 +00:00 |
sjfink
|
1ea215abbe
|
more reflection tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2725 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-21 14:58:43 +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 |
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
|
3d408fdd7e
|
reflection patches from Marco
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2640 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-03-02 01:39:53 +00:00 |
sjfink
|
b08f49eda7
|
fix bug with phi instructions in synthetic IRs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2636 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-29 21:42:10 +00:00 |
sjfink
|
e48a066a70
|
implement getMethods()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2627 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-26 15:24:33 +00:00 |
sjfink
|
769ab11ea0
|
refactoring to generalize some reflection processing
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2621 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-26 03:42:20 +00:00 |
pistoia
|
91a497e16e
|
removed SecurityException from the throws clause
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2616 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-25 20:38:49 +00:00 |
pistoia
|
ee6e5ca941
|
removed SecurityException from the throws clause
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2615 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-25 20:38:11 +00:00 |
sjfink
|
f7daef6bb5
|
support getConstructors()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2601 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-22 01:44:36 +00:00 |
sjfink
|
5c52b27f97
|
support for Constructor.newInstance()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2598 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-21 18:42:35 +00:00 |
sjfink
|
ccb59cc883
|
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@2572 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-13 18:47:27 +00:00 |
sjfink
|
518d21140e
|
bug fixes and new tests for new Class.forName processing.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2543 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-05 21:21:19 +00:00 |
sjfink
|
e43cd62482
|
generalize support for partially balanced tabulation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2537 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-05 15:56:16 +00:00 |
sjfink
|
b723bee09b
|
tweak comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2536 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-02-05 14:45:17 +00:00 |
sjfink
|
b795c92b4c
|
tweak code format
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2365 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-11 16:50:43 +00:00 |
sjfink
|
f7c3e90fd4
|
tweak code formatting for enums
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2340 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-10 16:26:29 +00:00 |
loginov
|
2f400d5e46
|
Only an exclusion of bak/ subdirs of the src tree.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2293 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-04 22:52:32 +00:00 |
sjfink
|
280a5c80da
|
tweak code formatting template
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2258 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-03 16:30:34 +00:00 |
msridhar1
|
b6396fb5a7
|
added change suggested by Steve to make build work on Mac
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2224 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-19 20:52:34 +00:00 |
sjfink
|
248053a418
|
revert code compliance level to 5.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2210 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-17 18:48:15 +00:00 |
sjfink
|
568faedb1b
|
fix bug [ 1850456 ] error "I is null" when slicing
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2184 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-14 14:30:07 +00:00 |
sjfink
|
f2e632f368
|
bump up source level to 6.0
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1844 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-10-11 14:25:25 +00:00 |
dolby-oss
|
51c3f4f312
|
test case to expose data dependence issue for GetCaughtException in slicer
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1771 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-19 18:01:13 +00:00 |