soot.G.reset()方法的使用及代码示例

x33g5p2x  于2022-01-20 转载在 其他  
字(2.8k)|赞(0)|评价(0)|浏览(180)

本文整理了Java中soot.G.reset()方法的一些代码示例,展示了G.reset()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。G.reset()方法的具体详情如下:
包路径:soot.G
类名称:G
方法名:reset

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();

相关文章

微信公众号

最新文章

更多

G类方法