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

miscellaneous housekeeping 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1369 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-07-06 03:07:44 +00:00
parent 323f72c3fe
commit f3bd02c77b
2 changed files with 12 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/CallGraphTest.java
View File

@ -414,7 +414,7 @@ public class CallGraphTest extends WalaTestCase {
}
// test ICFG
checkICFG(cg, options.getCFGCache());
checkICFG(cg);
return warnings;
// /////////////
// // 1-CFA ///
@ -429,8 +429,8 @@ public class CallGraphTest extends WalaTestCase {
*
* @param cg
*/
private static void checkICFG(CallGraph cg, CFGCache cfgCache) {
InterproceduralCFG icfg = new InterproceduralCFG(cg, cfgCache, new WarningSet());
private static void checkICFG(CallGraph cg) {
InterproceduralCFG icfg = new InterproceduralCFG(cg,new WarningSet());
try {
GraphIntegrity.check(icfg);

19
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVWalaIR.java
View File

@ -33,14 +33,12 @@ import com.ibm.wala.viz.GhostviewUtil;
/**
*
* This simple example application builds a WALA IR and fires off ghostview to
* viz a DOT representation.
* visualize a DOT representation.
*
* @author sfink
*/
public class GVWalaIR {
final public static boolean SANITIZE_CFG = false;
final public static String PS_FILE = "ir.ps";
/**
@ -56,9 +54,10 @@ public class GVWalaIR {
/**
* @param args
* -appJar [jar file name] -sig [method signature] The "jar file
* name" should be something like "c:/temp/testdata/java_cup.jar" The
* signature should be something like "java_cup.lexer.advance()V"
* -appJar [jar file name] -sig [method signature] The "jar file
* name" should be something like "c:/temp/testdata/java_cup.jar"
* The signature should be something like
* "java_cup.lexer.advance()V"
*/
public static Process run(String[] args) {
validateCommandLine(args);
@ -67,9 +66,9 @@ public class GVWalaIR {
/**
* @param appJar
* should be something like "c:/temp/testdata/java_cup.jar"
* should be something like "c:/temp/testdata/java_cup.jar"
* @param methodSig
* should be something like "java_cup.lexer.advance()V"
* should be something like "java_cup.lexer.advance()V"
*/
public static Process run(String appJar, String methodSig) {
try {
@ -114,7 +113,7 @@ public class GVWalaIR {
String dotExe = wp.getProperty(WalaExamplesProperties.DOT_EXE);
String gvExe = wp.getProperty(WalaExamplesProperties.GHOSTVIEW_EXE);
return GhostviewUtil.ghostviewIR(cha, ir, SANITIZE_CFG, psFile, dotFile, dotExe, gvExe);
return GhostviewUtil.ghostviewIR(cha, ir, psFile, dotFile, dotExe, gvExe);
} catch (WalaException e) {
// TODO Auto-generated catch block
@ -135,7 +134,7 @@ public class GVWalaIR {
*
* @param args
* @throws UnsupportedOperationException
* if command-line is malformed.
* if command-line is malformed.
*/
static void validateCommandLine(String[] args) {
if (args.length != 4) {