WALA/com.ibm.wala.cast.test/harness-src/com/ibm/wala/cast/test
dolby-oss 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
..
TestCAstPattern.java organize imports 2011-04-03 04:08:05 +00:00
TestCAstTranslator.java Replace manual creating of URL (using, e.g., "file:" + f.getAbsolutePath() ) with progrematic one. 2010-09-28 16:22:08 +00:00
TestCallGraphShape.java Changes to extend supported context sensitivity to CPA-style: 2011-04-27 13:58:56 +00:00
Util.java allow IR translator to give warnings and errors via the loader 2011-04-14 01:16:36 +00:00