DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
3,698 Commits 8 Branches 13 Tags 80 MiB
Commit Graph

87 Commits

Author SHA1 Message Date
Juergen Graf d77cfc60fc incorporate changes from other branch 
- Annotation support
- Properly fix path-with-spaces bug.
- fix bug involving paths with spaces
- add a simple driver for building a call graph via a scope file
- Properly return null as default constructor of an array.
- organize imports
- better handling of missing bytecodes
- javadoc
- test fix
- small Javadoc fix
- added date-property.js
- 1) added InstanceKey.getCreation sites and its implementations 2) fixes for issues with keys representing dynamic properties   i) all properties are converted to strings,
- publicize method makeClasspath().  deprecate quoteStringIfNeeded()
- organize imports
- javadoc
- renamed classes to make relationship to mod-ref analysis clearer
- add support for lexical writes
- Code to compute transitive lexical accesses of methods.
- extract some generally useful code from ModRef
- Generate proper InstanceFieldKeys for property accesses with Numbers.
- rewrite to make hardest test appear last
- fix test to properly check reachability
- add an array test that doesn't quite work
- add method to get a PointerKey for a global
- compare FieldValueDispatch objects based on CGNode as well
- Handle duplicate field names between subclass and superclass.
 2013-02-06 12:34:25 +01:00
Juergen Graf b82d5dba90 Merge branch 'wala' into master 2012-11-06 04:23:10 +01:00
Manu Sridharan 60db861a5f complete conversion to Unix line endings 2012-09-04 16:05:49 -07:00
Manu Sridharan 56f3d847a5 more conversion to Unix line endings 2012-09-04 15:59:50 -07:00
Manu Sridharan 256cd06460 Convert all Java source files to use Unix line endings; no semantic change 2012-09-04 15:56:05 -07:00
dolby 6c374aa030 bcel has moved 2012-08-28 11:22:25 -04:00
dolby 4b3cba710d changes from upstream 2012-06-29 15:47:54 -04:00
Juergen Graf 627fbc15c3 static initializer tests 2012-05-16 14:02:29 +02:00
Manu Sridharan c415f3e0fd Enhanced pointer analysis to reason that arrays known to be of zero length 
cannot have any contents.
 2012-05-09 15:35:54 -06:00
msridhar1 1d28b2dc26 fix for bug reported by Juergen Graf: handle multiple fields with the same name in a JVM class 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4552 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-04-03 22:26:12 +00:00
msridhar1 72af88f25e rename TestUtil to more-specific DemandPATestUtil 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4481 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:18:54 +00:00
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