msridhar1
|
7630cd79c9
|
Revamped support for reading Java annotation information from .class files.
The code should handle all cases now, and the APIs are improved.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4422 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-01-11 17:11:59 +00:00 |
msridhar1
|
253444a6ad
|
make demand pointer analysis tests less dependent on standard library implementation
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4234 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2011-07-25 18:10:31 +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
|
ea6d59f8b7
|
switch to using ant to fetch dependent jar files
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4064 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2011-03-10 17:40:41 +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 |
msridhar1
|
2c6004ae44
|
update Java class library path to match latest Mac Java update
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4022 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2010-12-27 20:27:55 +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
|
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 |
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
|
42d36f6b55
|
add a test, fix some warnings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3842 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2010-05-16 15:20:41 +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 |
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 |
dolby-oss
|
53f55cc392
|
slight extension to slicing test
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1747 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-09-13 15:11:46 +00:00 |
sjfink
|
cb8c89e341
|
update copyright statements with EPL
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1609 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-13 13:09:59 +00:00 |
sjfink
|
46ebb8e58f
|
demandpa tests
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1607 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-11 01:17:22 +00:00 |
sjfink
|
2ec2101644
|
new type inference test
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1402 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-10 14:48:41 +00:00 |
sjfink
|
4dfe343b67
|
misc. housekeeping and some slicer bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1374 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 14:11:20 +00:00 |
sjfink
|
cb320d24fe
|
test reported slicing bug: unreproduced
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1335 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 10:55:58 +00:00 |
sjfink
|
a12120caff
|
new test from Alexey; fix copyright on some files
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1316 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-26 19:55:08 +00:00 |
sjfink
|
8a8b34d6b6
|
test for bug report 1714480, OOM for ClassHierarchy.getPossibleTargets
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1088 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-07 20:29:41 +00:00 |
sjfink
|
8a7f23f284
|
share errors/warnings settings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1086 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-07 13:28:52 +00:00 |
sjfink
|
da8e9f6dab
|
shared code formatter settings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1076 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-07 13:21:40 +00:00 |
sjfink
|
82f285c616
|
another slicing test, from pavol cerny
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1031 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-01 03:08:41 +00:00 |
sjfink
|
4d5d40f5c1
|
enable project-specific compiler settings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1024 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-04-30 13:46:51 +00:00 |
sjfink
|
bd76bf1c70
|
suppress a warning
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@496 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2006-11-22 19:09:46 +00:00 |
sjfink
|
68270cad6f
|
mv stuff to trunk
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2006-11-22 17:45:24 +00:00 |