dolby-oss
bcd742f06c
experiments with context sensitivity and fixes to use base contexts
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4203 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-02 15:14:57 +00:00
msridhar1
2b443852fc
pull out hacked for-in context selector. add some debugging output
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4200 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 16:48:18 +00:00
msridhar1
201b28eea0
bug fixes for handling of prototype and __proto__
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4188 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-22 21:23:49 +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
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
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
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
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
dolby-oss
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
dolby-oss
cf0f17f4cd
adapt to better handling of function scoping in JS
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4121 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:21:08 +00:00
dolby-oss
6b47bc0bd1
fix import warning
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4100 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 17:31:19 +00:00
dolby-oss
684524e4bc
added recording of script tag locations from which script code is included into the analysis of a Web page
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4097 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 17:16:18 +00:00
dolby-oss
cdd42a68b6
updates to processing of Web pages:
...
1) adopted the code from Rational for HTML handling
i) extended it to integrate better source mapping into IR
ii) integrated fixes from the old html processing to collect more info on forms
iii) added some copyright comments
2) updated version of jericho
3) added support for nu.validator for html5
4) added script to fetch html parser jars, and removed binary jar
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4090 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 15:23:58 +00:00
msridhar1
857e456806
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-03 04:08:05 +00:00
sjfink
fa825de846
refactoring of fixpoint API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4033 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:43:18 +00:00
dolby-oss
c7558b3646
fixes for Rational
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3985 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-02 19:11:58 +00:00
dolby-oss
0070a69af0
handle bogus ctor calls, likely due to analysis imprecision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3969 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-11 14:24:40 +00:00
yinnon_haviv
38f8a44044
Fix prototype contamination bug (described in added test).
...
When someone writes:
MyFunction.prototype.myMethod = ...
we want "myMethod" to be accessible only for objects of type "MyFunction".
- Change how generated ctors look like - now they have a private prototype object into which methods can be added
- Change the PropertyReadExpander to have a different handling when reading the "prototype" field, avoid performing a loop on the prototype chain, so that the points to set of fetched field will be accurate (and allow us to set only the fields of it)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3959 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-02 19:30:03 +00:00
dolby-oss
d6dbd72ee6
fix for assertion failure in loading functions with the new way of loading additional files
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3943 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-28 02:00:39 +00:00
yinnon_haviv
2fea4f6e4f
- Fix unit tests both for Mac and Windows environment.
...
- Replace Html Parser with one that is based on Jericho (require running ./fetch_libraries.sh on cast.js project.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3942 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-27 15:15:03 +00:00
dolby-oss
0ddb040987
bug fix for context-sensitive analysis of javascript functions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3935 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-14 20:28:04 +00:00
dolby-oss
0eaaf73232
handle cases where imprecision causes Object to flow places where it would not be legal
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3934 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-14 20:27:30 +00:00
dolby-oss
7fed5f963e
make allocation site sensitivity work
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3921 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:06:28 +00:00
dolby-oss
8a38138bf2
kill debugging print
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3920 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:05:29 +00:00
msridhar1
447823c629
kill unused supportRefinement option
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3833 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-12 18:30:55 +00:00
msridhar1
b8ecc8d48a
nuked ReflectionSpecification
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3832 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-05-12 17:19:54 +00:00
dolby-oss
2e724aac3e
fixes for JavaScript motivated by Web examples
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3823 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-04-28 19:38:28 +00:00
dolby-oss
a3dc6411ae
separate Rhino-specific portions of javascript analysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3731 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-16 18:09:54 +00:00
sjfink
a0efbee8ff
Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-22 15:06:12 +00:00
sjfink
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
sjfink
addfb7ddc2
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-20 12:54:33 +00:00
dolby-oss
f6f7b92bfe
clean ups, and work on error reporting in the CAst front end
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-15 12:52:40 +00:00
sjfink
77101da20f
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3434 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-10 19:48:32 +00:00
dolby-oss
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
sjfink
957cb2b8ca
deprecate Trace
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-09 20:31:14 +00:00
dolby-oss
aa21ef9f58
adapt to core changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3231 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-19 15:59:55 +00:00
msridhar1
1b17786512
when reflection handling is disabled in the AnalysisOptions, disable stuff like handling of string constant arguments to reflective methods, etc.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3209 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-03 20:38:47 +00:00
dolby-oss
f8d02b4541
fixes for JavaScript for Anders
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3191 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-27 17:40:11 +00:00
dolby-oss
637f06b2c0
further work on lexical scoping
...
more bug fixes for Anders
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3136 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-16 14:54:09 +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
dolby-oss
309a9b6d72
enhancements to handling of lexical scoping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3109 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-02 14:08:12 +00:00
dolby-oss
3df05382f0
bug fix for Anders and Simon regarding use of program counters in synthetic constructor functions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2845 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-05-23 16:55:06 +00:00
sjfink
03c1a8cc60
fix compile problems from wala.core changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2679 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-05 13:41:52 +00:00
sjfink
69c1bfa991
Simplify MethodTargetSelector and ContextSelector interfaces; delete optimizations based on allSitesDispatchIdentically and mayReturnSyntheticMethod.
...
Also some Cast bug fixes.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2655 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-03-03 21:32:36 +00:00
sjfink
8814ece4e2
delete PointerFlowGraph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2610 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-24 00:05:19 +00:00
sjfink
8bb28da489
delete obsolete and broken OneCFABuilder
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-30 15:43:32 +00:00
sjfink
1a72f854b3
delete obsolete 'preserveNames' SSAOption
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2403 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 21:19:14 +00:00
dolby-oss
6173bd0fa7
fixes for script entry point call sites
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2399 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-16 16:33:10 +00:00
sjfink
e2dd8518b8
nuke support for "dispatch bound" call graph construction heuristic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2350 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 22:05:37 +00:00
sjfink
2789df69e7
delete redundant method SSAAbstractInvokeInstruction.getSite()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-04 21:18:25 +00:00
sjfink
b804160ef7
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2145 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 05:36:36 +00:00
dolby-oss
517ffd91a6
adapt to abstract invoke changes; move some util functionality to CAst core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2134 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 04:32:54 +00:00
sjfink
3ea8de49e4
bug fixes. Add Javascript language to analysis scope.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2121 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 19:56:00 +00:00
sjfink
e8543242d0
more generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2095 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-04 21:40:38 +00:00
sjfink
667b1c42ca
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-16 20:57:58 +00:00
dolby-oss
f10ec15eb8
support for 1-CFA analysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1985 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-06 04:14:03 +00:00
sjfink
64c230a803
clean up TypeInference API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1906 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-19 14:39:06 +00:00
sjfink
43e0a28d9e
hide Pair constructor; misc. generics-related cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1705 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 23:20:12 +00:00
yahave
2c8dd6d027
fixed bounds of iteration over symbol table using getMaxValueNumber. Loops should be iterating all the way to the MaxValueNumber returned (i.e., <=).
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1655 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 15:33:55 +00:00
sjfink
7f62dc3c04
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1519 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:20:23 +00:00
sjfink
433b943759
use Hash factories everywhere
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1439 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:08:21 +00:00
sjfink
1f94c82716
suppress a compiler warning
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1424 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 18:43:55 +00:00
sjfink
99a97fb477
massive overhaul of Warnings management
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1389 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:09:08 +00:00
sjfink
be145b3838
miscellaneous housekeeping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1366 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 03:07:29 +00:00
sjfink
2445a55ad8
delete CallGraph.getInterpreter() and CFGProvider
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1346 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-05 03:04:57 +00:00
dolby-oss
66b19b8666
support for cross-language call graphs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1216 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 03:32:56 +00:00
sjfink
553ee0faea
change some Iterators in API to Collections
...
remove some unnecessary WarningSet parameters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1207 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-31 02:38:28 +00:00
sjfink
5a8c0fa6d1
delete Entrypoints interface.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1125 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 17:44:43 +00:00
dolby-oss
07baba9290
Translator now generates property read prototype looping as a proper CAst loop rather than adding the loop in the IR. Use new AstIsDefinedInstruction to test for defined'ness. Better separation of primitive values versus objects that corresponds to primitives.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@987 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-19 13:53:31 +00:00
sjfink
f5f26ad8bc
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@944 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-12 14:54:57 +00:00
dolby-oss
c8fb2a22af
use new boolean-typed constants. adapt to new symbol declaration api
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@923 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:05:48 +00:00
sjfink
978bddae43
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@848 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 16:09:39 +00:00
dolby-oss
541ee23cdf
fix to generation of constructor function bodies
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@842 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:10:10 +00:00
sjfink
f1ac319ca0
squash remaining Eclipse warnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@702 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-09 15:34:25 +00:00
sjfink
86bcc926ee
miscellaneous minor cleanups. eclipse build stuff. import statements.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@677 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 19:07:30 +00:00
dolby-oss
d8f21f8ee5
Initial contribution of core script analysis code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@622 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-02 17:25:09 +00:00