本文整理了Java中soot.options.Options.omit_excepting_unit_edges()
方法的一些代码示例,展示了Options.omit_excepting_unit_edges()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Options.omit_excepting_unit_edges()
方法的具体详情如下:
包路径:soot.options.Options
类名称:Options
方法名:omit_excepting_unit_edges
暂无
代码示例来源:origin: Sable/soot
/**
* Constructs the graph from a given Body instance using the passed {@link ThrowAnalysis} and a default value, provided by
* the {@link Options} class, for the <code>omitExceptingUnitEdges</code> parameter.
*
* @param body
* the {@link Body} from which to build a graph.
*
* @param throwAnalysis
* the source of information about the exceptions which each {@link Unit} may throw.
*
*/
public ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis) {
this(body, throwAnalysis, Options.v().omit_excepting_unit_edges());
}
代码示例来源:origin: Sable/soot
/**
* Constructs the graph from a given Body instance, using the {@link Scene} 's default {@link ThrowAnalysis} to estimate
* the set of exceptions that each {@link Unit} might throw and a default value, provided by the {@link Options} class, for
* the <code>omitExceptingUnitEdges</code> parameter.
*
* @param body
* the <code>Body</code> from which to build a graph.
*
*/
public ExceptionalUnitGraph(Body body) {
this(body, Scene.v().getDefaultThrowAnalysis(), Options.v().omit_excepting_unit_edges());
}
代码示例来源:origin: Sable/soot
= new ExceptionalUnitGraph(unitBody, PedanticThrowAnalysis.v(), Options.v().omit_excepting_unit_edges());
LiveLocals liveLocals;
代码示例来源:origin: Sable/soot
= new ExceptionalUnitGraph(unitBody, PedanticThrowAnalysis.v(), Options.v().omit_excepting_unit_edges());
代码示例来源:origin: Sable/soot
forceOmitExceptingUnitEdges = Options.v().omit_excepting_unit_edges();
代码示例来源:origin: Sable/soot
omitExceptingUnitEdges = Options.v().omit_excepting_unit_edges();
代码示例来源:origin: Sable/soot
ExceptionalUnitGraph eug = new ExceptionalUnitGraph(b, DalvikThrowAnalysis.v(), Options.v().omit_excepting_unit_edges());
Set<Unit> unitsWithMonitor = getUnitsWithMonitor(eug);
代码示例来源:origin: ibinti/bugvm
/**
* Constructs the graph from a given Body instance using the
* passed {@link ThrowAnalysis} and a default value, provided by
* the {@link Options} class, for the
* <code>omitExceptingUnitEdges</code> parameter.
*
* @param body the {@link Body} from which to build a graph.
*
* @param throwAnalysis the source of information about the exceptions
* which each {@link Unit} may throw.
*
*/
public ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis) {
this(body, throwAnalysis, Options.v().omit_excepting_unit_edges());
}
代码示例来源:origin: com.bugvm/bugvm-soot
/**
* Constructs the graph from a given Body instance using the
* passed {@link ThrowAnalysis} and a default value, provided by
* the {@link Options} class, for the
* <code>omitExceptingUnitEdges</code> parameter.
*
* @param body the {@link Body} from which to build a graph.
*
* @param throwAnalysis the source of information about the exceptions
* which each {@link Unit} may throw.
*
*/
public ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis) {
this(body, throwAnalysis, Options.v().omit_excepting_unit_edges());
}
代码示例来源:origin: ibinti/bugvm
/**
* Constructs the graph from a given Body instance, using the
* {@link Scene}'s default {@link ThrowAnalysis} to estimate the
* set of exceptions that each {@link Unit} might throw and a
* default value, provided by the {@link Options} class, for the
* <code>omitExceptingUnitEdges</code> parameter.
*
* @param body the <code>Body</code> from which to build a graph.
*
*/
public ExceptionalUnitGraph(Body body) {
this(body, Scene.v().getDefaultThrowAnalysis(),
Options.v().omit_excepting_unit_edges());
}
代码示例来源:origin: com.bugvm/bugvm-soot
/**
* Constructs the graph from a given Body instance, using the
* {@link Scene}'s default {@link ThrowAnalysis} to estimate the
* set of exceptions that each {@link Unit} might throw and a
* default value, provided by the {@link Options} class, for the
* <code>omitExceptingUnitEdges</code> parameter.
*
* @param body the <code>Body</code> from which to build a graph.
*
*/
public ExceptionalUnitGraph(Body body) {
this(body, Scene.v().getDefaultThrowAnalysis(),
Options.v().omit_excepting_unit_edges());
}
内容来源于网络,如有侵权,请联系作者删除!