a9331dca6f
avoid using files since the automated tests get things out of jars
2013-08-07 16:44:21 -04:00
e89d0acf16
reuse util support for building scopes
2013-08-07 15:17:02 -04:00
d528c16b0f
refactoring to integrate field-based cg builders with Eclipse-based
...
JavaScript front end
2013-08-05 14:35:41 -04:00
beab92e359
Fixed bugs in the front end handling esoteric cases of weird control
...
flow.
added support for JavaScript projects read from Eclipse that are based
on HTML files as well as JavaScript files
2013-07-30 14:04:08 -04:00
05a9961108
add missing @Override annotations; no semantic change
2013-06-10 14:37:19 -07:00
918f887d3a
update copyright header
2013-06-10 14:24:03 -07:00
547f0d276a
more sample code
2013-06-10 14:22:12 -07:00
21d392e2bd
example driver to print IR for all methods in a script
2013-06-10 14:22:11 -07:00
f268ca91fd
remove precise lexical config options; we want this to just be on
2013-06-07 09:48:00 -07:00
b2d108daad
fix compile error
2013-06-06 20:03:39 -07:00
d4b252ad51
kill NEW_LEXICAL flag
2013-06-06 20:02:41 -07:00
ef0cf8589d
Forgot to set translator factory; fixed.
2013-06-07 08:29:24 +08:00
3adaaf50ee
Correlation finder now handles both HTML files and raw JS files as
...
input, doesn't use WebPageLoaderFactory to create CAst anymore.
2013-06-07 08:29:24 +08:00
3d974b8313
Temporary commit; things are broken, but I need to switch back to master for a bit.
2013-06-07 08:29:24 +08:00
591215ebd6
delete files on exit by default
2013-06-06 13:45:34 -07:00
fcd28ee419
More refactoring of ParameterNameContextSelector, which is now called
...
PropertyNameContextSelector.
2013-06-03 14:13:37 +08:00
3a0741571f
Some cleanup in ForInContextSelector; now renamed to
...
ParameterNameContextSelector.
2013-06-03 12:18:29 +08:00
61c48fe1bc
Fixed failing test case for field-based call graph construction:
...
visitJavaScriptPropertyRead/Write need to be able to handle static
property writes (weren't those encoded differently before?).
2013-05-29 08:41:55 +08:00
cd2e3abe89
get JavaScript tests running under Maven
2013-05-28 16:39:33 -07:00
ed05815698
rename test class
2013-05-28 11:52:29 -07:00
7064233320
remove print
2013-05-22 16:41:27 -07:00
54593a8f46
add code for field-based call graph
2013-05-22 16:04:25 -07:00
3b1889121b
add missing copyright headers
2013-05-22 15:39:19 -07:00
11c6619c7f
Variety of changes to JS front end.
...
- crash fixes
- small enhancements to prologue and preamble
- tighter handling of timeouts during CG construction
2013-04-09 15:47:22 -07:00
bf6b6bd685
renamed classes to make relationship to mod-ref analysis clearer
2013-01-04 09:35:04 -08:00
26e7eb50ba
Code to compute transitive lexical accesses of methods.
...
The TransitiveLexicalAccesses class computes the lexical variables
read by a CGNode and its transitive callees. Also, a basic test case.
2013-01-03 15:58:07 -08:00
24eb803211
organize imports; no semantic change
2012-09-04 16:24:37 -07:00
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
931e2b8b4b
remove Mozilla page tests
2012-08-29 14:41:02 -07:00
419d1d50cc
Merge branch 'github_master' and remove Eclipse dependencies.
...
Specifically, rewrite ProgressMaster to not depend on Eclipse, and move
to com.ibm.wala.util. Now, we can use timeout-based code in packages
without introducing an Eclipse dependency.
2012-08-28 12:39:52 -07:00
72e8dc9098
reorganize stuff for using JavaScript stuff from Eclipse
2012-08-21 09:48:53 -04:00
b940e9dc0a
add edgeExists CLI option to check if some edge exists in the call graph
2012-07-26 15:26:59 -07:00
eb0524c634
tests were failing when run as part of the suite
2012-07-20 16:27:17 -07:00
b4172d5920
Test for break statements that break out of a non-loop statement. This
...
is currently not handled correctly by the translation to CAst.
2012-07-05 15:51:04 -04:00
3fe9bedf95
Can now pass a JS file to HTMLCGBuilder, it will create a simple wrapper
...
HTML file.
2012-07-05 15:50:02 -04:00
4b3cba710d
changes from upstream
2012-06-29 15:47:54 -04:00
ca6701f4b5
add copyright notice
2012-05-14 14:38:35 -06:00
b6ee356641
tests for source mapping
2012-05-11 15:03:10 -04:00
c116f16823
got code to compile again, and wala.core regression tests pass
2012-04-16 22:30:03 -04:00
2edb070437
changed FileProvider to have instance methods
2012-04-16 14:57:14 -04:00
1ae581819f
add one level of caller-site sensitivity for call() and apply(); experimental
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4513 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:27:03 +00:00
d1974d8b54
new context selector that just checks for recursion instead of bounding it
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4509 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:26:14 +00:00
5f2733bd0e
fix some compile errors
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4501 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:24:32 +00:00
d68e9ebbd0
add -reachable argument
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4498 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:23:46 +00:00
e9d2ad598a
move recursion bound selector to HTMLCGBuilder; a temporary solution
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4497 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:23:37 +00:00
965896c210
add general recursion bounding via an additional context selector. Also, completely eliminate dependence on contexts for correct pointer analysis with new lexical scheme.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4496 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:23:21 +00:00
954a1f091b
more work on precise lexical configuration
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4495 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:22:55 +00:00
c861bfed80
introduce CGBuilderType enum, related refactorings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4493 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:22:14 +00:00
a3826f23a8
refactoring: rename some Util classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:21:59 +00:00
92d8dc1e3d
Revert "refactor context selectors: extract delegation into ComposedContextSelector"
...
This reverts commit 7ff1219c5baed388a82d14fcf81d2b1f456c4e95. That commit broke
a dojo test, and I'm not sure why.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4491 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:21:18 +00:00
Julian Dolby
Manu Sridharan
Max Schaefer
Max Schaefer
msridhar1