dolby-oss
15c202f8e6
Welsh-Powell graph coloring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-01 21:47:15 +00:00
msridhar1
f8197b4f2c
patch to fix FileProvider bug from Marcel Bruch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-27 19:50:33 +00:00
dolby-oss
3e573a992d
upgrades to lexical soping implements to address some performance issues
...
fixes to HTML model to capture use of local vars as window state in scripts
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4176 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-23 16:27:07 +00:00
msridhar1
10849fcf78
add method for constructing an HTML CG with a progress monitor
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4175 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-06 15:14:32 +00:00
msridhar1
2de1da2948
kill unused field
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4174 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-05 14:31:47 +00:00
msridhar1
40a294a5e4
optimization: cache result of getMappedNodes()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4173 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-05 04:15:06 +00:00
msridhar1
3a4fee83c4
test case for constructors and lexical accesses
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4172 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-05 03:52:26 +00:00
msridhar1
ac7294dac2
bug fix: incorrect check for number of constructor parameters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4171 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-05 03:51:54 +00:00
msridhar1
047ac9f0ce
bug fix: add missing check for invariant points-to set
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4170 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-05 03:51:14 +00:00
msridhar1
b3b6585077
print a message indicating script is grabbing polyglot from svn
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4169 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-04 21:30:07 +00:00
msridhar1
1f97edecc7
formatting, minor refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4168 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-04 21:06:35 +00:00
msridhar1
fcdce3f128
javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4167 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-04 20:42:05 +00:00
msridhar1
1496188862
get rid of unneeded ScopeMap class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4166 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-04 20:41:56 +00:00
msridhar1
33d0d5d774
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4165 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-02 22:14:28 +00:00
msridhar1
d95f33f580
javadoc. refactoring and renaming of ScopeMap.scan() method. add -ea to launcher.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4164 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-02 22:11:37 +00:00
msridhar1
cbd5613a35
javadoc, formatting, move a DEBUG flag
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4163 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-05-02 22:11:27 +00:00
dolby-oss
c3d8313f74
add java_cup lib
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4162 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-28 19:18:13 +00:00
dolby-oss
1817ef2278
bug fixes to method wrappers for overriding
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4161 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-28 19:08:59 +00:00
dolby-oss
7adce5daf7
change to dump api to make usable in other places, without a builder
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4160 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-28 19:08:06 +00:00
msridhar1
d66338b16d
javadoc; convert Scope.type() to use an enum
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4159 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 21:04:31 +00:00
msridhar1
4bfa3124a2
javadoc, minor refactorings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4158 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 17:06:06 +00:00
msridhar1
e68af40449
remove unnecessary Import-Package line
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4157 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 16:53:45 +00:00
dolby-oss
3d76f097b5
fix a few warnings
...
get the right version of the polyglot jar
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4156 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 16:46:41 +00:00
dolby-oss
9e2c05f206
merge from polyglot3 branch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4155 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 16:20:21 +00:00
dolby-oss
41daeadbb8
merge polyglot3 branch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4154 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:55:30 +00:00
sjfink
d6a7828730
attempt to fix compile breakage with generics, manifesting under javac on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4152 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:16:08 +00:00
sjfink
ebe49342b3
remove unnecessary @SuppressWarning annotation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:06:39 +00:00
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
msridhar1
3fffba2c87
javadoc and formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4149 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-26 18:44:49 +00:00
msridhar1
f46aef537a
javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4148 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 23:01:11 +00:00
msridhar1
c768f136c4
format, remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4147 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 23:00:52 +00:00
msridhar1
a1b36e3488
comments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4146 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 23:00:31 +00:00
msridhar1
d838a6c42f
javadoc, generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4145 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 22:59:44 +00:00
msridhar1
06b529e146
javadoc, formatting, more generic types
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 22:59:13 +00:00
msridhar1
c3e6ea9526
formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4143 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 22:57:55 +00:00
msridhar1
bb445b387c
javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4142 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 19:55:41 +00:00
msridhar1
f347c93f61
avoid storing a pointer to the Rhino AST in the object returned from walkEntity()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4141 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 19:55:26 +00:00
msridhar1
a7f99801b6
change BaseCollectingContext to only track one expression
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4140 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 19:55:09 +00:00
msridhar1
010332620f
javadoc, refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4139 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 18:15:10 +00:00
msridhar1
59719046e4
javadoc, refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4138 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 18:14:41 +00:00
msridhar1
e608633a51
javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4137 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 18:14:26 +00:00
msridhar1
1db949cdc1
javadoc, cleanup some types and remove some unnecessary code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4136 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-22 18:14:09 +00:00
msridhar1
cf13f9f071
refactoring, javadoc, formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4135 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-21 21:34:15 +00:00
msridhar1
4f27f73bf0
added generic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4134 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-21 21:34:06 +00:00
msridhar1
3eda14a1a6
refactoring / javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4133 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-21 21:33:56 +00:00
msridhar1
38b99221fa
javadoc
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4132 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-21 21:33:44 +00:00
dolby-oss
ea4bbbd56a
commit missing tests
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4131 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-21 15:11:20 +00:00
msridhar1
05a516c1e2
javadoc and formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4130 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 23:08:47 +00:00
msridhar1
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
msridhar1
53294397f8
javadoc, formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4128 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 22:31:27 +00:00