| .. |
|
correlations
|
Be more careful when determining source-level names for SSA variable to
|
2012-07-05 11:20:25 -04:00 |
|
ArgumentSpecialization.java
|
remove warnings
|
2012-03-03 00:25:47 +00:00 |
|
ForInContextSelector.java
|
Got rid of IntegerContextItem and BooleanContextItem and replaced them
|
2012-02-17 20:27:16 +00:00 |
|
GlobalObjectKey.java
|
blunt force trauma to CAst frond end:
|
2012-01-27 20:15:33 +00:00 |
|
JSAnalysisOptions.java
|
add new analysis option JSAnalysisOptions.usePreciseLexical(), which allows for a less precise handling of lexical accesses
|
2012-02-17 20:22:30 +00:00 |
|
JSCFABuilder.java
|
make JSCFABuilder abstract
|
2012-01-06 21:19:49 +00:00 |
|
JSCallGraph.java
|
Major refactoring to introduce com.ibm.wala.ide. Many related changes and patches from Marcelo Paternostro.
|
2009-06-22 15:06:12 +00:00 |
|
JSCallGraphUtil.java
|
avoid crashes in LoadFileTargetSelector
|
2012-02-17 20:24:08 +00:00 |
|
JSSSAPropagationCallGraphBuilder.java
|
changes from upstream
|
2012-06-29 15:47:54 -04:00 |
|
JSSyntheticParameterKey.java
|
Initial contribution of core script analysis code
|
2007-02-02 17:25:09 +00:00 |
|
JSZeroOrOneXCFABuilder.java
|
move recursion bound selector to HTMLCGBuilder; a temporary solution
|
2012-02-17 20:23:37 +00:00 |
|
JavaScriptConstructTargetSelector.java
|
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.
|
2012-03-01 02:45:51 +00:00 |
|
JavaScriptConstructorContextSelector.java
|
add new analysis option JSAnalysisOptions.usePreciseLexical(), which allows for a less precise handling of lexical accesses
|
2012-02-17 20:22:30 +00:00 |
|
JavaScriptConstructorInstanceKeys.java
|
make allocation site sensitivity work
|
2010-09-09 14:06:28 +00:00 |
|
JavaScriptEntryPoints.java
|
deprecate Trace
|
2009-04-09 20:31:14 +00:00 |
|
JavaScriptFunctionApplyContextInterpreter.java
|
Got rid of IntegerContextItem and BooleanContextItem and replaced them
|
2012-02-17 20:27:16 +00:00 |
|
JavaScriptFunctionApplyContextSelector.java
|
Got rid of IntegerContextItem and BooleanContextItem and replaced them
|
2012-02-17 20:27:16 +00:00 |
|
JavaScriptFunctionApplyTargetSelector.java
|
small optimization: avoid calling TypeName.toString() in some cases
|
2012-02-17 20:18:07 +00:00 |
|
JavaScriptFunctionDotCallTargetSelector.java
|
refactoring: rename some Util classes
|
2012-02-17 20:21:59 +00:00 |
|
JavaScriptScopeMappingInstanceKeys.java
|
fix so that new lexical scheme can be enabled with Java frontends
|
2012-07-12 10:27:24 -07:00 |
|
LoadFileTargetSelector.java
|
avoid crashes in LoadFileTargetSelector
|
2012-02-17 20:24:08 +00:00 |
|
ObjectSensitivityContextSelector.java
|
fix memory leak
|
2012-02-17 20:25:06 +00:00 |
|
RecursionBoundContextSelector.java
|
use a CallStringContext when hitting the recursion bound with constructors
|
2012-02-17 20:23:57 +00:00 |
|
RecursionCheckContextSelector.java
|
new context selector that just checks for recursion instead of bounding it
|
2012-02-17 20:26:14 +00:00 |
|
TransitivePrototypeKey.java
|
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.
|
2012-03-01 02:45:51 +00:00 |
