DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,516 Commits 8 Branches 13 Tags 80 MiB
Commit Graph

221 Commits

Author SHA1 Message Date
Juergen Graf 428a3975ed Merge branch 'wala' into master 
Conflicts:
	com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/loader/JavaSourceLoaderImpl.java
	com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ssa/AstJavaInstructionFactory.java
	com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ssa/AstJavaInvokeInstruction.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/html/WebPageLoaderFactory.java
	com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/loader/JavaScriptLoader.java
	com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JSInstructionFactory.java
	com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JavaScriptInvoke.java
	com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph/AstCallGraph.java
	com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AbstractLexicalInvoke.java
	com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstInstructionFactory.java
	com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstLexicalRead.java
	com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AstLexicalWrite.java
	com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/FixedParametersInvokeInstruction.java
	com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/translator/AstTranslator.java
	com.ibm.wala.core/.classpath
	com.ibm.wala.core/.settings/org.eclipse.jdt.core.prefs
	com.ibm.wala.ide/src/com/ibm/wala/ide/util/ProgressMonitorDelegate.java
	com.ibm.wala.util/src/com/ibm/wala/util/NullProgressMonitor.java
	com.ibm.wala.util/src/com/ibm/wala/util/ProgressMaster.java
 2014-05-20 17:59:16 +02:00
Julian Dolby a2f4f3b238 type in CAst var decls 2014-05-20 13:10:57 +02:00
Julian Dolby 5228cacd43 adapt to type changes 2014-05-20 13:10:33 +02:00
Julian Dolby a6315f8a62 more detail in assertion 2014-05-20 13:09:01 +02:00
Julian Dolby 893f4b7308 type in CAst var decls 2014-03-16 18:05:49 -04:00
Julian Dolby 79acda26ed adapt to type changes 2014-02-09 19:00:31 -05:00
Julian Dolby 5af42e4585 more detail in assertion 2014-01-03 10:07:11 -05:00
Julian Dolby 56236dec53 further work on analysis for JavaScript in Eclipse 2013-10-16 17:37:53 -04:00
Julian Dolby 528be3e973 remove now-unused functionality 2013-08-07 15:20:05 -04:00
Julian Dolby d528c16b0f refactoring to integrate field-based cg builders with Eclipse-based 
JavaScript front end
 2013-08-05 14:35:41 -04:00
Manu Sridharan 059d841c8c removing lexical reads and writes from invoke instructions; WIP 2013-07-10 09:44:46 -07:00
Juergen Graf cdaaddf88b Merge branch 'wala' into master 2013-07-02 14:23:24 +02:00
Julian Dolby 080325b5f6 merge 2013-06-25 11:57:37 -04:00
Manu Sridharan f268ca91fd remove precise lexical config options; we want this to just be on 2013-06-07 09:48:00 -07:00
Manu Sridharan d2933d49b2 delete a little more code and javadoc 2013-06-06 20:02:42 -07:00
Manu Sridharan 321695617c delete more code 2013-06-06 20:02:42 -07:00
Manu Sridharan 472a98d7cf delete some code 2013-06-06 20:02:42 -07:00
Manu Sridharan d4b252ad51 kill NEW_LEXICAL flag 2013-06-06 20:02:41 -07:00
Manu Sridharan 3b1889121b add missing copyright headers 2013-05-22 15:39:19 -07:00
Manu Sridharan dcc7cd206d bug fix: allow each language to determine when a CGNode represents the "definer" method for a lexical access 2013-04-29 20:34:40 -07:00
Juergen Graf 9b1cf1ae07 no warnings in com.ibm.wala.cast 2013-03-12 00:29:01 +01:00
Juergen Graf 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
Manu Sridharan 29c73cea83 Merge branch 'lexical-access-info' 2013-01-09 14:27:14 -08:00
Julian Dolby 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
Manu Sridharan 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
Manu Sridharan 6084f4ff61 Generate proper InstanceFieldKeys for property accesses with Numbers. 
Note that this change actually breaks a couple of our unit tests.  But,
it seems they were only passing by accident before anyway, and this change
at least leads to a more consistent handling of dynamic property accesses
with String vs. Number property names.
 2012-12-18 10:11:59 -08:00
Juergen Graf b82d5dba90 Merge branch 'wala' into master 2012-11-06 04:23:10 +01:00
Manu Sridharan 256cd06460 Convert all Java source files to use Unix line endings; no semantic change 2012-09-04 15:56:05 -07:00
dolby 0518b5242b more JS stuff 2012-08-22 12:15:46 -04:00
Julian Dolby 4a850a9510 added the com.ibm.wala.ide.jdt project 2012-08-21 18:52:09 -04:00
dolby 72e8dc9098 reorganize stuff for using JavaScript stuff from Eclipse 2012-08-21 09:48:53 -04:00
Juergen Graf 4648f0404a Merge branch 'wala' into master 2012-07-17 13:57:43 +02:00
Manu Sridharan 9a0e105e51 fix so that new lexical scheme can be enabled with Java frontends 2012-07-12 10:27:24 -07:00
Juergen Graf 7477b1730b Merge branch 'wala' into master 2012-03-19 13:33:48 +01:00
dolby-oss a93dc6fcc5 minor cleanup 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4543 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-03-08 17:34:36 +00:00
dolby-oss 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
dolby-oss 9b2b4c6f51 remove unused declaration on public method 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4528 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-23 17:45:20 +00:00
msridhar1 0d0d2b89a9 improve toString() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4508 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:26:00 +00:00
msridhar1 1dfacdfe4c make it easier to identify ArgumentInstanceContexts 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4507 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:25:49 +00:00
msridhar1 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
msridhar1 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
msridhar1 4037ef9b02 add new analysis option JSAnalysisOptions.usePreciseLexical(), which allows for a less precise handling of lexical accesses 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4494 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:22:30 +00:00
msridhar1 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
msridhar1 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
msridhar1 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
msridhar1 1ac2dc110e better recursion check 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4484 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:19:22 +00:00
msridhar1 3b5ba61cc0 add recursion check 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4483 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:19:13 +00:00
msridhar1 16c798c790 bug fix: only generate one synthetic method representing Function.prototype.apply 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4476 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:17:44 +00:00
msridhar1 300377a428 disabled LexicalScopingResolverContexts with new scheme 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4468 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:16:15 +00:00
msridhar1 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
msridhar1 bfb24934af another bug fix; getting closer... 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4466 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:15:38 +00:00
msridhar1 78ef6e3a03 further work 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4465 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-02-17 20:15:26 +00:00
dolby-oss 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
msridhar1 533344e43f Amended toString of ReflectedFieldPointerKeys to also print information 
about the container object.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4414 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:50:36 +00:00
msridhar1 2f86937ae1 some more diagnostic code in TestUtil, related changes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4399 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:46:27 +00:00
msridhar1 67b2103a49 no scoping contexts for built-in Object and Array constructors 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4397 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:45:49 +00:00
msridhar1 caf83a7857 don't use lexical scoping contexts for the array constructor 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4395 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:45:22 +00:00
msridhar1 f8132eab21 optimize recursion check 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4392 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:44:39 +00:00
msridhar1 2a61536747 fixed recursion check for lexical scoping contexts 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4390 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:44:11 +00:00
msridhar1 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
msridhar1 16317238ff Print call graph information more compactly. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4378 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:37:27 +00:00
msridhar1 6051baf5fb fix bug exposed by wrap3.js: we were not recusring properly in ScopeMappingInstanceKey.getFunargNodes() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4377 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:37:13 +00:00
msridhar1 63c20d5f8d reset default timeout in TestUtil; kill CGNodeResolver.toString() 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4357 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:32:25 +00:00
msridhar1 9aabf5c042 extra javadoc 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4355 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:31:57 +00:00
msridhar1 e4bab37a82 bug fix with cached DefUse in AstCGNode 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4353 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:31:30 +00:00
msridhar1 72c2c92294 added coarser lexical-scoping resolver. reduces memory usage, but analysis seems to slower. disabled as regression tests don't pass 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4352 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:31:15 +00:00
msridhar1 cf37a6728d more work on toString() methods 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4350 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:30:46 +00:00
msridhar1 1aa85b27eb comments and formatting 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4349 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:30:32 +00:00
msridhar1 e71b067b6e default call graph dumping to off 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4339 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:28:16 +00:00
msridhar1 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
msridhar1 5f91087b44 re-enable debug output 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4322 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:23:13 +00:00
msridhar1 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
msridhar1 37f3af5b86 undo CG dumping change 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4318 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:21:54 +00:00
msridhar1 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
msridhar1 939f6b3f34 Organise imports. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4306 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-06 21:19:01 +00:00
msridhar1 4edec7f18e remove unused imports 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4297 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2012-01-05 20:10:34 +00:00
msridhar1 59e46916ce Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-12-28 17:03:27 +00:00
Juergen Graf f5ac0c543f Merge branch 'wala' into master 2011-07-12 19:50:39 +00:00
dolby-oss 880a6166a7 performance work on lexical scoping 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4202 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-02 15:14:11 +00:00
dolby-oss ef474b9dde removed out-of-date comment 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4197 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-01 13:42:14 +00:00
dolby-oss 9432654ac9 minor performance tuning 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4195 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-07-01 13:40:26 +00:00
dolby-oss b27fd8de26 performance work on lexical scoping 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4192 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-06-30 15:45:58 +00:00
Juergen Graf f8d6f5b917 Merge branch 'wala' into master 2011-05-27 12:25:53 +02: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 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 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 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 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
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
Juergen Graf 7c518d1867 added instruction index field to SSAInstruction (javascript not working atm) 2011-04-12 19:49:06 +02:00
dolby-oss fce2752c64 cleaned up source module loading 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4087 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2011-04-04 15:02:28 +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 da98a43469 make module loader a bit more flexible 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3987 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-11-03 17:49:59 +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
yinnon_haviv 9cae049830 Added viewer for CHA/CG/PA for Java/JavaScript. 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-09-28 17:11:12 +00:00
yinnon_haviv 1d4d158de3 Replace manual creating of URL (using, e.g., "file:" + f.getAbsolutePath() ) with progrematic one. 
(File.toURI().toURL()). Good for cross platform (Mac vs. Windows)

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3953 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2010-09-28 16:22:08 +00:00