DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

small cleanups 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@722 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-02-13 18:38:22 +00:00
parent 0f9ad70584
commit 758cc29257
6 changed files with 65 additions and 55 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.ibm.wala.stringAnalysis.js/META-INF/MANIFEST.MF
View File

@ -12,7 +12,7 @@ Require-Bundle: org.eclipse.ui,
com.ibm.domo.js,
com.ibm.domo.sa,
com.ibm.wala.core
Eclipse-AutoStart: true
Eclipse-LazyStart: true
Export-Package: com.ibm.wala.stringAnalysis.js,
com.ibm.wala.stringAnalysis.js.client,
com.ibm.wala.stringAnalysis.js.ssa,

44
com.ibm.wala.stringAnalysis.js/src/com/ibm/wala/stringAnalysis/js/client/JSStringAnalysisEngine.java
View File

@ -1,21 +1,35 @@
package com.ibm.wala.stringAnalysis.js.client;
import com.ibm.wala.automaton.grammar.string.*;
import com.ibm.wala.automaton.parser.*;
import com.ibm.wala.automaton.regex.string.*;
import com.ibm.wala.automaton.string.*;
import com.ibm.wala.cast.js.client.*;
import com.ibm.wala.classLoader.*;
import com.ibm.wala.ipa.callgraph.*;
import com.ibm.wala.ipa.callgraph.propagation.*;
import com.ibm.wala.stringAnalysis.grammar.*;
import com.ibm.wala.stringAnalysis.js.translator.*;
import com.ibm.wala.stringAnalysis.translator.*;
import com.ibm.wala.automaton.grammar.string.CFLReachability;
import com.ibm.wala.automaton.grammar.string.Grammars;
import com.ibm.wala.automaton.grammar.string.IContextFreeGrammar;
import com.ibm.wala.automaton.grammar.string.ISimplify;
import com.ibm.wala.automaton.parser.AmtParser;
import com.ibm.wala.automaton.regex.string.IPattern;
import com.ibm.wala.automaton.regex.string.IPatternCompiler;
import com.ibm.wala.automaton.regex.string.StringPatternCompiler;
import com.ibm.wala.automaton.string.Automaton;
import com.ibm.wala.automaton.string.IAutomaton;
import com.ibm.wala.automaton.string.IVariable;
import com.ibm.wala.automaton.string.State;
import com.ibm.wala.automaton.string.Transition;
import com.ibm.wala.automaton.string.Variable;
import com.ibm.wala.cast.js.client.JavaScriptAnalysisEngine;
import com.ibm.wala.ipa.callgraph.CallGraph;
import com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder;
import com.ibm.wala.stringAnalysis.grammar.GR;
import com.ibm.wala.stringAnalysis.grammar.LexicalVariable;
import com.ibm.wala.stringAnalysis.js.translator.JSFunctionNameResolver;
import com.ibm.wala.stringAnalysis.js.translator.JSSSA2Rule;
import com.ibm.wala.stringAnalysis.js.translator.JSTranslatorRepository;
import com.ibm.wala.stringAnalysis.translator.BB2GR;
import com.ibm.wala.stringAnalysis.translator.CG2GR;
import com.ibm.wala.stringAnalysis.translator.FunctionNameCalleeResolver;
import com.ibm.wala.stringAnalysis.translator.GR2CFG;
import com.ibm.wala.stringAnalysis.translator.IR2GR;
import com.ibm.wala.stringAnalysis.translator.ISSA2Rule;
import com.ibm.wala.stringAnalysis.util.SAUtil;
import com.ibm.wala.util.debug.*;
import java.io.*;
import java.util.*;
import com.ibm.wala.util.debug.Trace;
public class JSStringAnalysisEngine extends JavaScriptAnalysisEngine {

8
com.ibm.wala.stringAnalysis.js/src/com/ibm/wala/stringAnalysis/js/ssa/SAJSProcessingInstructionVisitor.java
View File

@ -10,11 +10,11 @@
*****************************************************************************/
package com.ibm.wala.stringAnalysis.js.ssa;
import com.ibm.wala.cast.ir.ssa.*;
import com.ibm.wala.cast.js.ssa.*;
import com.ibm.wala.ssa.*;
import com.ibm.wala.cast.js.ssa.JavaScriptInvoke;
import com.ibm.wala.cast.js.ssa.JavaScriptPropertyRead;
import com.ibm.wala.cast.js.ssa.JavaScriptPropertyWrite;
import com.ibm.wala.cast.js.ssa.JavaScriptTypeOfInstruction;
import com.ibm.wala.stringAnalysis.ssa.SAProcessingInstructionVisitor;
import com.ibm.wala.stringAnalysis.ssa.SAProcessingInstructionVisitor.Processor;
public class SAJSProcessingInstructionVisitor
extends SAProcessingInstructionVisitor

37
com.ibm.wala.stringAnalysis.js/src/com/ibm/wala/stringAnalysis/js/translator/JSSSA2Rule.java
View File

@ -10,25 +10,26 @@
*****************************************************************************/
package com.ibm.wala.stringAnalysis.js.translator;
import com.ibm.wala.util.debug.Assertions;
import com.ibm.wala.automaton.grammar.string.*;
import com.ibm.wala.automaton.string.*;
import com.ibm.wala.cast.ir.ssa.*;
import com.ibm.wala.cast.js.loader.JSCallSiteReference;
import com.ibm.wala.cast.js.ssa.*;
import com.ibm.wala.cast.types.*;
import com.ibm.wala.classLoader.*;
import com.ibm.wala.ipa.callgraph.impl.*;
import com.ibm.wala.ipa.callgraph.propagation.*;
import com.ibm.wala.ssa.*;
import com.ibm.wala.stringAnalysis.grammar.*;
import com.ibm.wala.stringAnalysis.js.ssa.*;
import com.ibm.wala.stringAnalysis.ssa.*;
import com.ibm.wala.stringAnalysis.translator.*;
import com.ibm.wala.stringAnalysis.util.*;
import com.ibm.wala.types.*;
import java.util.ArrayList;
import java.util.Collection;
import java.util.List;
import java.util.*;
import com.ibm.wala.automaton.grammar.string.IProductionRule;
import com.ibm.wala.automaton.string.ISymbol;
import com.ibm.wala.automaton.string.IVariable;
import com.ibm.wala.automaton.string.StringSymbol;
import com.ibm.wala.cast.js.ssa.JavaScriptInvoke;
import com.ibm.wala.cast.js.ssa.JavaScriptPropertyRead;
import com.ibm.wala.cast.js.ssa.JavaScriptPropertyWrite;
import com.ibm.wala.ipa.callgraph.impl.FakeRootClass;
import com.ibm.wala.ssa.SSAAbstractInvokeInstruction;
import com.ibm.wala.ssa.SSAGetInstruction;
import com.ibm.wala.stringAnalysis.grammar.InvocationSymbol;
import com.ibm.wala.stringAnalysis.js.ssa.SAJSProcessingInstructionVisitor;
import com.ibm.wala.stringAnalysis.ssa.SAProcessingInstructionVisitor;
import com.ibm.wala.stringAnalysis.translator.SSA2Rule;
import com.ibm.wala.stringAnalysis.translator.TranslationContext;
import com.ibm.wala.util.debug.Assertions;
public class JSSSA2Rule extends SSA2Rule {
public JSSSA2Rule(boolean approximateMembers) {

7
com.ibm.wala.stringAnalysis.js/src/com/ibm/wala/stringAnalysis/js/translator/JSTranslatorRepository.java
View File

@ -10,11 +10,6 @@
*****************************************************************************/
package com.ibm.wala.stringAnalysis.js.translator;
import java.util.*;
import com.ibm.wala.automaton.grammar.string.*;
import com.ibm.wala.automaton.string.*;
import com.ibm.wala.stringAnalysis.translator.*;
import com.ibm.wala.stringAnalysis.translator.repository.CharAt;
import com.ibm.wala.stringAnalysis.translator.repository.Concatenate;
import com.ibm.wala.stringAnalysis.translator.repository.Split;
@ -25,8 +20,6 @@ import com.ibm.wala.stringAnalysis.translator.repository.ToLocaleUpperCase;
import com.ibm.wala.stringAnalysis.translator.repository.ToLowerCase;
import com.ibm.wala.stringAnalysis.translator.repository.ToUpperCase;
import com.ibm.wala.stringAnalysis.translator.repository.TranslatorRepository;
import com.ibm.wala.stringAnalysis.util.SAUtil;
import com.ibm.wala.util.debug.Trace;
public class JSTranslatorRepository extends TranslatorRepository {
public JSTranslatorRepository() {

22
com.ibm.wala.stringAnalysis.js/src/com/ibm/wala/stringAnalysis/js/util/WebUtil.java
View File

@ -10,20 +10,22 @@
*****************************************************************************/
package com.ibm.wala.stringAnalysis.js.util;
import java.io.*;
import java.net.*;
import java.util.*;
import java.io.FileWriter;
import java.io.IOException;
import java.io.InputStream;
import java.net.URL;
import java.util.HashSet;
import java.util.Set;
import javax.swing.text.*;
import javax.swing.text.html.*;
import javax.swing.text.MutableAttributeSet;
import javax.swing.text.html.HTML;
import javax.swing.text.html.HTMLEditorKit;
import javax.swing.text.html.HTML.Tag;
import javax.swing.text.html.HTMLEditorKit.*;
import javax.swing.text.html.HTMLEditorKit.ParserCallback;
import com.ibm.wala.automaton.string.*;
import com.ibm.wala.cast.js.util.*;
import com.ibm.wala.cast.js.util.Generator;
import com.ibm.wala.cast.js.util.HTMLCallback;
import com.ibm.wala.cast.js.util.Generator.CallbackFactory;
import com.ibm.wala.classLoader.*;
import com.ibm.wala.stringAnalysis.util.*;
public class WebUtil extends com.ibm.wala.cast.js.util.WebUtil {
static public class SimpleDHTMLCallback extends HTMLCallback {