0799bffc84
clean ups
2013-08-29 10:16:38 -04:00
a9331dca6f
avoid using files since the automated tests get things out of jars
2013-08-07 16:44:21 -04:00
72fa4b7ff6
add prologue files explicitly, which is now needed
2013-08-07 15:16:13 -04:00
8ea24cdafc
this test works now
2013-08-07 15:12:23 -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
0595f0202c
update manifests for compatibility with Eclipse Kepler
2013-07-16 11:33:40 -07:00
cdaaddf88b
Merge branch 'wala' into master
2013-07-02 14:23:24 +02:00
00c095ae28
turn off debugging output
2013-06-25 13:29:37 -04:00
080325b5f6
merge
2013-06-25 11:57:37 -04:00
3015d1c5f9
added container access to ModuleEntry
2013-06-25 11:53:58 -04:00
068d0f0908
merge
2013-06-10 09:08:34 -04:00
9e51a19d5d
tests
2013-06-10 09:02:12 -04:00
f268ca91fd
remove precise lexical config options; we want this to just be on
2013-06-07 09:48:00 -07:00
79b12e332e
Only introduce property name contexts for constant keys.
2013-06-07 08:29:24 +08:00
188a7c79a6
Need to use 1-CFA for ajaxslt test (alternatively turn off correlation
...
tracking).
2013-06-07 08:29:24 +08: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
98e83e5103
another test for Function.prototype.apply handling
2013-06-03 14:03:28 -07:00
26896049a7
add crashing test case (currently ignored)
2013-06-03 10:44:06 -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
cd2e3abe89
get JavaScript tests running under Maven
2013-05-28 16:39:33 -07:00
3b1889121b
add missing copyright headers
2013-05-22 15:39:19 -07:00
e6bef253ff
Merge branch 'master' into maven
2013-05-02 10:58:55 -07:00
fd6a02422e
undo one change from previous commit
2013-04-30 12:17:05 -07:00
8d5af4aece
fix warnings
2013-04-30 12:10:06 -07:00
7c2d18cd58
[releng] added preliminary maven tycho build support
2013-04-29 13:13:22 +02:00
1cc5e5ce9c
fixes for bug with dead code and exception handlers
2013-04-10 21:16:12 -04:00
00eb1d2bd2
Set all projects to build against Java 6; no semantic change. Fixes #20
2013-04-10 16:01:27 -07:00
4f7ec12edd
Expose temporary file created by source extractor. Fixes #19
2013-04-10 12:22:57 -07:00
dae0b33233
Merge branch 'master'
...
Conflicts:
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/loader/JavaSourceLoaderImpl.java
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShapeRhino.java
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/test/TestSimplePageCallGraphShapeRhino.java
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/test/TestSimplePageCallGraphShapeRhinoJericho.java
com.ibm.wala.cast.js.rhino.test/harness-src/com/ibm/wala/cast/js/vis/JsViewerDriver.java
com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/TestSimpleCallGraphShape.java
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/loader/JavaScriptLoader.java
com.ibm.wala.cast/source/java/com/ibm/wala/cast/tree/CAstEntity.java
2013-04-09 15:56:47 -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
80920368ef
incorporate changes from other branch
...
- remove extraneous printing
- fixes for parse errors in JS and HTML
- fixes for handling parse errors in JS and HTML
- update comments
- Change BitVectorRepository to use LinkedLists
- improve javadoc
- fix for for in contexts for NEVER case
- missing VectorKill println method
2013-03-12 00:21:26 +01:00
87b856928c
fixes for handling parse errors in JS and HTML
2013-03-01 10:07:20 -05:00
d77cfc60fc
incorporate changes from other branch
...
- Annotation support
- Properly fix path-with-spaces bug.
- fix bug involving paths with spaces
- add a simple driver for building a call graph via a scope file
- Properly return null as default constructor of an array.
- organize imports
- better handling of missing bytecodes
- javadoc
- test fix
- small Javadoc fix
- added date-property.js
- 1) added InstanceKey.getCreation sites and its implementations 2) fixes for issues with keys representing dynamic properties i) all properties are converted to strings,
- publicize method makeClasspath(). deprecate quoteStringIfNeeded()
- organize imports
- javadoc
- renamed classes to make relationship to mod-ref analysis clearer
- add support for lexical writes
- Code to compute transitive lexical accesses of methods.
- extract some generally useful code from ModRef
- Generate proper InstanceFieldKeys for property accesses with Numbers.
- rewrite to make hardest test appear last
- fix test to properly check reachability
- add an array test that doesn't quite work
- add method to get a PointerKey for a global
- compare FieldValueDispatch objects based on CGNode as well
- Handle duplicate field names between subclass and superclass.
2013-02-06 12:34:25 +01:00
6465edbaee
test fix
2013-01-09 14:30:56 -08:00
29c73cea83
Merge branch 'lexical-access-info'
2013-01-09 14:27:14 -08:00
9aa474fdb1
1) added InstanceKey.getCreation sites and its implementations
...
2) fixes for issues with keys representing dynamic properties
i) all properties are converted to strings, in an approximation of JS
semantics
3) fix to handling of instance keys representing numbers in binary +;
now it understands that adding constant keys of type Number requires
adding a non-constant Number key to the lval
2013-01-07 20:18:27 -05:00
bf6b6bd685
renamed classes to make relationship to mod-ref analysis clearer
2013-01-04 09:35:04 -08:00
5aa3a16587
add support for lexical writes
2013-01-03 16:09:48 -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
dd98150ed8
fix test to properly check reachability
2012-12-17 20:38:17 -08:00
1bf2c64ba7
add an array test that doesn't quite work
2012-12-17 16:52:31 -08:00
e130a5b963
Some refactoring of prologue.js and preamble.js to use more consistent
...
names.
2012-09-18 13:22:17 -04:00
24eb803211
organize imports; no semantic change
2012-09-04 16:24:37 -07:00
56f3d847a5
more conversion to Unix line endings
2012-09-04 15:59:50 -07:00
931e2b8b4b
remove Mozilla page tests
2012-08-29 14:41:02 -07:00
7147e6c86e
update rhino regression launcher for new project structure
2012-08-28 13:06:34 -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
0518b5242b
more JS stuff
2012-08-22 12:15:46 -04:00
4a850a9510
added the com.ibm.wala.ide.jdt project
2012-08-21 18:52:09 -04:00
72e8dc9098
reorganize stuff for using JavaScript stuff from Eclipse
2012-08-21 09:48:53 -04:00
7aaba4bc5a
Bug fix in dispatch logic + test
...
Due to constant parameters, we can't assume that constraints don't need
to be generated when we've already seen a target at a call site (since
the previous constraints may have only passed certain constant parameter
values, rather than all parameter values). Add a check to handle these
cases correctly.
2012-07-30 12:40:48 -07:00
a3d8a0c757
Renamed two test methods.
2012-07-09 14:24:36 -04:00
c5e31617e1
Some more tests.
2012-07-09 14:22:34 -04:00
d40729c444
Small improvement to treatment of generated names in extraction tests.
2012-07-05 16:31:58 -04: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
468f0a9864
Added a workaround for differences in generated names between actual and
...
expected output in some of the tests.
2012-07-05 09:56:53 -04:00
fca3999e9a
Fixed rewriting of non-constant switch cases.
2012-07-05 09:37:47 -04:00
5ba9b7b735
Merge branch 'master' of git@riverdale.watson.ibm.com:jsanalysis
2012-07-05 08:34:01 -04:00
9d1d198777
New test case for call graph construction.
2012-07-04 15:29:16 -04:00
f6e52c9b93
Merge remote-tracking branch 'riverdale/master'
2012-07-04 10:27:13 -07:00
7bdc127ce5
Workaround for invalid end positions in CAst.
2012-07-04 12:19:05 -04:00
d0d1ff1a2b
Merge branch 'master' of https://github.com/wala/WALA.git
2012-07-03 19:22:37 -04:00
76ca05ccb8
comment out manual enabling of CG dumps; we really need a better solution here
2012-07-03 15:55:02 -07:00
ec2b83ff1b
don't run the jquery test as part of the standard regression; we don't scale yet
2012-07-03 15:07:20 -07:00
4b3cba710d
changes from upstream
2012-06-29 15:47:54 -04:00
b6ee356641
tests for source mapping
2012-05-11 15:03:10 -04:00
dfe06b8ff3
changes to Web source mapping to exploit rhino 1.7R3 source offsets
2012-05-08 13:17:01 -04:00
553ab68efa
jquery example
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4545 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-03-08 17:35:32 +00:00
a9ec87f360
Changes motivated by analysis issues in JavaScript. The main change is that calls of the form f.x() in JavaScript are now analyzed like 'method calls' so that the 'this' pointer in the receiver functions can be filtered based upon the types that actually have the method being invoked. This requires much more dynamic filtering than in a language like Java, since properties like 'x' are simply properties that happen to hold functions, and so can be assigned in a first-class manner. Thus, the filtering needs to handle variance in both the types and the values of their properties; this is implemented as multiple levels of abstract object directed side effect equations in the dataflow system.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-03-01 02:45:51 +00:00
99564d6e06
strengthen checking of argument specialization test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4533 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-23 18:15:05 +00:00
a840e068d6
When extracting correlated pairs, check that the extraction region does
...
not reference the "arguments" variable.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4506 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:25:39 +00:00
a3d0b45eef
Added support for localising variables through which correlated reads
...
flow. This somewhat compensates for the lack of SSA form for closure
variables under the new lexical scheme.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4505 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:25:22 +00:00
efcbdd625c
Merge remote-tracking branch 'riverdale/extractor-fix' into lexical-again
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4502 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:24:48 +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
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
edd300cf00
refactor context selectors: extract delegation into ComposedContextSelector
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4489 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:20:26 +00:00
677fc96aec
add a test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4485 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:19:32 +00:00
a1a62d4793
Fixed a longstanding bug in the handling of arguments: both v1 _and_ v2
...
should be ignored when setting up the arguments array (the former is the
invoked function, the latter is the receiver).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4480 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:18:32 +00:00
fcf0aa824d
in the Function.apply() context selector, only add one-level of call strings when an ApplyContext is also being used
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4474 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:17:22 +00:00
54d50d4eea
Turning off handling of apply for this test.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4472 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:16:55 +00:00
2dda77a0fb
another bug fix; looking good...
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4467 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:15:57 +00:00
c9d914304d
add a test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4462 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:14:36 +00:00
9ad5c55d85
generate lexical access instructions for methods accessing their own exposed vars. still need to fix call graph construction
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4461 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:14:26 +00:00
c87d4731bb
add a test case that causes a crash
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4458 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-17 20:13:39 +00:00
aa00b04c00
Some more fixes to the closure extractor; now only a single test fails.
2012-02-09 08:21:10 -05:00
eb1f59407d
Undoing accidental commit.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:56 +00:00
d7544c111f
Minor change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4452 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:45 +00:00
6449da85df
Some final fixes to the for-in body extractor; it now seems to work as
...
before.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4451 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:32 +00:00
3b5a939033
New test for an NPE during SSA conversion.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4450 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:16 +00:00
c47b6a77b4
Need to pass on the preprocessor when constructing the call graph
...
builder.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4449 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:35:06 +00:00
96f0d763d2
Minor change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4443 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:33:21 +00:00
55adb1ac2e
Minor change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4442 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-08 15:33:10 +00:00
79946e98d6
purported fixes for Max's latest bugs (with some tests)
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4433 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-07 13:50:08 +00:00
3113f14e23
handling for delete exprs, and a test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-02-06 13:54:10 +00:00
4c6d062dbb
blunt force trauma to CAst frond end:
...
1) Structural changes in the AstTranslator to allow retranslation and generation of custom IR. This is mostly moving state from the translator itself into the context.
2) Some refactoring to share some AST generation code across the Java and JavaScript front ends.
3) Switching to the latest Rhino, release 1.7R3; this is a pervasive change to the JavaScript Rhino translator, since it involves switching to the new AST interface in Rhino.
4) Common code to, as an option, translate Do-style loops by replicating the loop body. This allows the use of CAstNode.LOOP forms for such loops.
5) Some bug fixes to the mechanisms of the CAstRewriter to handle weird control flow cases.
6) An example of retranslation to specialize JavaScript methods based on how many arguments they receive at call sites.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4425 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-27 20:15:33 +00:00
8b547b4812
Split up ForInLoopRewriter in preparation for merging changes back into
...
open-source WALA. The extraction code is now in com.ibm.wala.cast.js,
with some more general stuff moved to com.ibm.wala.cast and
com.ibm.wala.util. The tests are in com.ibm.wala.cast.js.test and
com.ibm.wala.cast.js.rhino.test. ForInLoopRewriter itself only contains
the framework specific tests and the copies of the frameworks
themselves.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4418 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:52:26 +00:00
a2c146b2d8
New failing test case dead_phi
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4417 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:51:26 +00:00
c8c12436a7
Added test exposing a weird IR generation bug.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4415 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:50:52 +00:00
c18cc405f7
fix disabling of call / apply for ajaxslt test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4408 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:48:53 +00:00
1f5c0996e5
re-enable ajaxslt test with call / apply handling disabled
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4406 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:48:14 +00:00
ea7be296c8
create JSAnalysisOptions, and use to add proper option to disable handling of call / apply
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4405 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:48:01 +00:00
a12194cc92
fix handling of Function.prototype.apply. Disable testAjaxslt, which blows up with the fix enabled
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4402 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:47:09 +00:00
b3f6bfb18c
better formatting
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4394 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:45:08 +00:00
082607327d
test case for bad recursion check bug
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4389 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:43:58 +00:00
13202e726e
Added test case for handling of arguments array.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4388 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:43:37 +00:00
e149af8a13
Some more tests.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4381 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:41:57 +00:00
ed37d9ee5d
another failing test case for scoping and closures
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4376 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:36:59 +00:00
ca1792a6b8
add unit test for recursive lexical scopes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4373 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:36:10 +00:00
2dc375340a
Simplified test cases.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4365 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:34:14 +00:00
98f89876b1
Adding two simple regression tests.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4364 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:34:04 +00:00
9a3b4f3d8a
add missing assertion check
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4341 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:28:46 +00:00
3057d11607
stop dumping call graph in the MediaWiki test to speed things up; add a flag to Util to suppress call graph output in other cases
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4337 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:27:42 +00:00
610c7e252e
add a test for Function.apply() with the arguments array
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4336 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:27:21 +00:00
14c4cdb251
bug fix in SSAPropagationCallGraphBuilder: allow empty points-to sets for interesting non-receiver arguments
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4335 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:27:03 +00:00
c250331e78
more work on Function.apply(), but regression tests aren't passing yet
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4333 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:26:23 +00:00
a30ea94aac
support Function.apply() with no argsList array
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4332 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:26:01 +00:00
875347167b
started some work
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4331 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:25:38 +00:00
8ce7db97ea
more global object handling; needs documentation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4324 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:23:56 +00:00
549c3d2775
rename
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4323 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:23:25 +00:00
306bc98bf5
progress on modeling the global object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4321 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:22:58 +00:00
be1ead5245
additional modeling of prototype chains for built-in objects
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4320 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:22:27 +00:00
b042d61a67
initial implementation of handling Function.call(). also, fix previous change that caused some tests to fail
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4316 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:21:26 +00:00
c815519025
ignore jquery test; no longer works due to proper handling of || construct
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4315 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:20:55 +00:00
1673a200e5
default to dumping files in temp directory
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4312 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:20:13 +00:00
74911f269e
fix test case for Function.call(), add test case for Function.apply()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4309 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:19:36 +00:00
c0a99989a4
Support for applying a preprocessor to the generated CAst tree before
...
translating it to IR.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4300 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-06 21:17:39 +00:00
cb37e60635
make classes abstract, so their tests are not run directly
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4287 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-10-31 18:47:14 +00:00
b5192e79a9
add another test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4213 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-05 02:32:10 +00:00
e60b23edef
reduced the test case
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4212 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-04 22:14:07 +00:00
c316309900
add a test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4211 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-04 21:21:29 +00:00
a8e79f92aa
adapt to for...in context changes, and use new test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4205 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-02 15:16:38 +00:00
4d2b679f7f
new test case for function calls in the for...in body
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4204 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-02 15:16:01 +00:00
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
91628b4d1b
another failing test
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4187 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-22 16:04:48 +00:00
da183699ae
add failing test case
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4186 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-22 13:53:47 +00:00
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
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
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
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
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
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
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
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
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
18833137c0
Change Mozilla test cases to not pull in external JS files by default (for performance). In makeHTMLCG(), don't call dumpCG() by default.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4127 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 20:55:57 +00:00
816eed480f
Change Mozilla test cases to not pull in external JS files by default (for performance). In makeHTMLCG(), don't call dumpCG() by default.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4126 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-20 20:55:39 +00:00
9006fce690
some bug fixes to CAst IR generation, especially in handling exceptions
...
cleanup of how JDT analysis engines work, to make using the JDT front end more modular
bug foxes to JavaScript handling, most notably fixing scoping of functions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4123 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-13 16:27:15 +00:00
c82117149d
new names for handler functions that include tag name and attribute name
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4112 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-08 19:23:10 +00:00
e7ac8c25fe
move test with not-quite-correct JavaScript code to the Rhino test, since Rhino handles it anyway
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4106 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-05 16:42:49 +00:00
bb28cd875f
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@4102 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 21:20:31 +00:00
be5d9df4e9
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@4094 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-04 15:28:54 +00:00
ff2ab61e56
remove old script
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4071 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-10 22:01:10 +00:00
1a6053c990
grab external deps via ant
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4070 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-10 22:00:17 +00:00
3a49f17ebc
update code formatting for Eclipse 3.6
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:14:47 +00:00
cc99d4898e
another example from web pages for apollo
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4000 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-23 15:31:53 +00:00
6afa3ee732
test that seems to exhibit null values of attributes from HTML
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3998 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-22 17:46:30 +00:00
73ac8fc93b
more work and tests on Web page model
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3992 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-05 00:37:43 +00:00
23b669a691
more work and tests on Web page model
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3991 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-11-05 00:36:44 +00:00
6157acd567
Fix stack overflow on long methods bug.
...
See test case for more details.
- Convert the problematic recursion (SEARCH of SSA conversion) into an "iterative" code (by introducing a stack data structure.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3961 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-02 20:53:31 +00:00
fc0d5ecc47
- Fix the cast rewriter to rewrite labels too.
...
- Fix the translation of switch statements to keep the labels "alive" (part of the AST).
- Added test case for the bug.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3960 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-10-02 20:27:17 +00:00
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
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
431c5510f3
minor name change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3938 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-20 15:47:19 +00:00
1f8da24940
add support for base urls
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3923 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2010-09-09 14:09:16 +00:00
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
8b41d7fc88
update to JUnit 4
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3747 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-07-27 23:21:22 +00:00
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
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
be8400fdd1
new tests, including for Web pages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3628 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-06-03 18:27:08 +00:00
c3769d5717
performance and other fixes driven by models of Web pages for JavaScript
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3562 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-04 14:11:31 +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
9cba260448
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3267 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-09 18:02:52 +00:00
6e235228b1
Change DOMO to WALA
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3266 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-09 18:00:26 +00:00
aeda43e97e
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3265 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-03-09 17:59:09 +00:00
159e25f52e
fixes for Rhino issue---ignoring multiple variables in a single var declaration
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3201 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-02-02 20:46:51 +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
c28e2386f4
update metadata
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3182 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-21 00:41:32 +00:00
656c15b16c
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3178 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-19 19:37:53 +00:00
8d3c76715c
misc. fixes motivated by JavaScript
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3175 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-19 15:12:39 +00:00
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
7be15e3137
additional test from Anders
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3112 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-12-02 14:09:49 +00:00
dfad24c3ee
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2946 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-07-04 01:56:49 +00:00
4142366236
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2903 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-06-25 14:08:57 +00:00
4773a53b68
thread IProgressMonitor and CancelException through many APIs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2577 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-02-13 22:34:36 +00:00
c17b88a69f
tweak code format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2371 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-11 16:51:21 +00:00
a601002de1
nuke support for "dispatch bound" call graph construction heuristic
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2351 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 22:05:44 +00:00
a9ec8071f7
tweak code formatting for enums
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2333 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-10 16:26:01 +00:00
639d5d3aa4
tweak code formatting template
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2268 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2008-01-03 16:31:34 +00:00
fbca81de76
revert code compliance level to 5.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2205 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-17 18:47:50 +00:00
ce1e0eca5a
move some util functionality to CAst core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2135 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-10 04:33:40 +00:00
d6e1b20b5c
Now adds the Language object representing JavaScript to the AnalysisScope.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2117 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-12-06 14:58:36 +00:00
dab36d8d6f
add CancelException to interact with Eclipse progress monitors and thread it through some APIs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2003 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-13 16:18:48 +00:00
e6cceb103b
support for 1-CFA analysis
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1986 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-11-06 04:14:53 +00:00
e6effa6909
bump up source level to 6.0
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1845 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-10-11 14:25:30 +00:00
Julian Dolby
Manu Sridharan
Juergen Graf
Max Schaefer
Marcel Bruch
Max Schaefer
dolby-oss
msridhar1
sjfink
yinnon_haviv
rmfuhrer