本文整理了Java中soot.G.reset()
方法的一些代码示例,展示了G.reset()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。G.reset()
方法的具体详情如下:
包路径:soot.G
类名称:G
方法名:reset
暂无
代码示例来源:origin: Sable/soot
public void execute() throws BuildException {
if( phase_help != null ) addPath("-phase-help", phase_help);
if( process_dir != null ) addPath("-process-dir", process_dir);
if( dump_body != null ) addPath("-dump-body", dump_body);
if( dump_cfg != null ) addPath("-dump-cfg", dump_cfg);
if( plugin != null ) addPath("-plugin", plugin);
if( include != null ) addPath("-include", include);
if( exclude != null ) addPath("-exclude", exclude);
if( dynamic_class != null ) addPath("-dynamic-class", dynamic_class);
if( dynamic_dir != null ) addPath("-dynamic-dir", dynamic_dir);
if( dynamic_package != null ) addPath("-dynamic-package", dynamic_package);
if(DEBUG) System.out.println(args);
try {
soot.Main.main((String[]) args.toArray(new String[0]));
soot.G.v().reset();
} catch( Exception e ) {
e.printStackTrace();
throw new BuildException(e);
}
}
代码示例来源:origin: jayhorn/jayhorn
public SootToCfg(List<String> resolvedClassNames) {
this.resolvedClassNames = resolvedClassNames;
// first reset everything:
soot.G.reset();
SootTranslationHelpers.initialize(program);
}
代码示例来源:origin: secure-software-engineering/FlowDroid
@Before
public void resetSootAndStream() throws IOException {
soot.G.reset();
System.gc();
}
代码示例来源:origin: secure-software-engineering/FlowDroid
@Before
public void resetSootAndStream() throws IOException {
soot.G.reset();
System.gc();
}
代码示例来源:origin: jayhorn/jayhorn
private void loadScene() {
File classDir = null;
try {
classDir = Util.compileJavaFile(this.sourceFile, System.getProperty("java.class.path"));
} catch (IOException e) {
e.printStackTrace();
Assert.fail();
}
if (classDir == null) {
Assert.fail();
}
soot.G.reset();
SootRunner runner = new SootRunner();
runner.run(classDir.getAbsolutePath(), System.getProperty("java.class.path"));
}
代码示例来源:origin: jayhorn/jayhorn
@Test
public void test() {
soot.G.reset();
System.out.println("Running test " + this.sourceFile.getName());
SootToCfg soot2cfg = new SootToCfg();
File classDir = null;
try {
classDir = Util.compileJavaFile(this.sourceFile, System.getProperty("java.class.path"));
} catch (IOException e) {
e.printStackTrace();
Assert.fail();
}
if (classDir == null) {
Assert.fail();
}
soot2cfg.run(classDir.getAbsolutePath(), null);
}
代码示例来源:origin: secure-software-engineering/FlowDroid
G.reset();
initializeSoot();
代码示例来源:origin: viadee/vPAV
G.reset();
classFetcherRecursive(classPaths, className, methodName, className, element, chapter, fieldType,
scopeId, outSet, variableBlock);
代码示例来源:origin: secure-software-engineering/FlowDroid
G.reset();
G.reset();
代码示例来源:origin: secure-software-engineering/FlowDroid
soot.G.reset();
代码示例来源:origin: secure-software-engineering/FlowDroid
G.reset();
内容来源于网络,如有侵权,请联系作者删除!