59e46916ce
Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-28 17:03:27 +00:00
4da02a9125
Changes to extend supported context sensitivity to CPA-style:
...
1) extend ContextSelector interface to allow it to specify parameters of interest
2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
3) various related fixes and extensions:
a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
c) a bit more support for empty int sets
d) void function objects
e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 13:58:56 +00:00
0ce752ccff
formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4129 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 23:08:17 +00:00
67d26e74c5
allow IR translator to give warnings and errors via the loader
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4125 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-14 01:16:36 +00:00
c4891ba35d
fixes to defining types
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4088 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 15:17:31 +00:00
e4b9d03be5
bug fixes for unicode names and to prevent analysis from modifying the symbol table
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3936 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-14 20:29:05 +00:00
e877067710
Ishizaki-san's patch for hasMonitorOp
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3733 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-17 13:58:55 +00:00
ff82965836
Extracted a common subexpression to a local in defineFunction().
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3567 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-05 15:52:32 +00:00
9939142eae
switch from Assertions._assert to Java assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-30 13:16:52 +00:00
6868b753eb
organize imports and tweak comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3439 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-13 13:50:45 +00:00
e80dc6ef8c
refactor handling of constants in Shrike to abstract away from Java bytecode
...
introduce factories to create SSAInstruction objects
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-10 18:33:07 +00:00
1cb571d1f0
add some missing exception edges
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3273 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-11 13:30:52 +00:00
9979d0899c
more fixes to lexical scoping for JavaScript
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3196 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-30 16:33:22 +00:00
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
577d3b9875
enhancements to handling of lexical scoping; fixes for X10
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3110 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-02 14:08:57 +00:00
a02c79527e
Fixes for exceptions thrown by array accesses (incomplete)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2981 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-31 21:27:10 +00:00
b648bd3ceb
committed patch from Evan Battaglia to support outer.new inner() form. Thanks!
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2591 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-18 15:17:16 +00:00
acaea8e3cf
fixes for generation of conversion instructions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1896 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-18 02:52:45 +00:00
406d5297c1
Made doArrayRead() and doArrayWrite() public, per API change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1454 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 22:50:28 +00:00
192f06a387
massive overhaul of Warnings management
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1384 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:08:34 +00:00
5d6eb70c5b
miscellaneous housekeeping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1365 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 03:07:24 +00:00
bea163df41
use new boolean-typed constant values; handle uninitialized values for weird cases involving lexical scoping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@921 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:03:33 +00:00
da7dea28cf
add exceptions from checkcast instructions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@787 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-25 02:18:23 +00:00
06c5431ba0
fixes to handling of enclosing objects for inner classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@703 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-09 18:19:13 +00:00
55e7a45e53
first cut at handling inner classes properly; moving around of code for analysis engines to make them provide a default way to build a call graph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@657 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-07 18:51:19 +00:00
c4b9499bd2
Initial contribution of core script analysis code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@618 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-02 17:20:09 +00:00
msridhar1
dolby-oss
rmfuhrer
sjfink