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

formatting, fix warning 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3847 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2010-05-25 13:35:11 +00:00
parent 2d6f56893c
commit 410732c481
1 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
com.ibm.wala.ide.tests/src/com/ibm/wala/examples/drivers/IFDSExplorerExample.java
View File

@ -34,26 +34,27 @@ import com.ibm.wala.ssa.analysis.IExplodedBasicBlock;
import com.ibm.wala.util.collections.Pair;
import com.ibm.wala.util.config.AnalysisScopeReader;
import com.ibm.wala.util.io.CommandLine;
import com.ibm.wala.util.io.FileProvider;
import com.ibm.wala.util.warnings.WalaException;
/**
* An example of using {@link IFDSExplorer}. We visualize the result of running {@link ContextSensitiveReachingDefs} on a simple test example.
* An example of using {@link IFDSExplorer}. We visualize the result of running {@link ContextSensitiveReachingDefs} on a simple
* test example.
*/
public class IFDSExplorerExample {
/**
* Usage: IFDSExplorerExample -dotExe <path_to_dot_exe> -viewerExe <path_to_viewer_exe>
*
* @param args
* @throws IOException
* @throws CallGraphBuilderCancelException
* @throws IllegalArgumentException
* @throws WalaException
* @throws IOException
* @throws CallGraphBuilderCancelException
* @throws IllegalArgumentException
* @throws WalaException
*/
public static void main(String[] args) throws IOException, IllegalArgumentException, CallGraphBuilderCancelException, WalaException {
public static void main(String[] args) throws IOException, IllegalArgumentException, CallGraphBuilderCancelException,
WalaException {
Properties p = CommandLine.parse(args);
AnalysisScope scope = AnalysisScopeReader.readJavaScope(TestConstants.WALA_TESTDATA,
FileProvider.getFile("J2SEClassHierarchyExclusions.txt"), IFDSExplorer.class.getClassLoader());
AnalysisScope scope = AnalysisScopeReader.readJavaScope(TestConstants.WALA_TESTDATA, null, IFDSExplorer.class.getClassLoader());
IClassHierarchy cha = ClassHierarchy.make(scope);
Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha,
"Ldataflow/StaticDataflow");