本文整理汇总了Java中soot.options.Options类的典型用法代码示例。如果您正苦于以下问题：Java Options类的具体用法？Java Options怎么用？Java Options使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
Options类属于soot.options包，在下文中一共展示了Options类的20个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于我们的系统推荐出更棒的Java代码示例。
示例1: initialiseSoot
import soot.options.Options; //导入依赖的package包/类
/**
* Provides all needed information to soot.
*/
public static void initialiseSoot() {
// prefer Android APK files// -src-prec apk
Options.v().set_src_prec(Options.src_prec_apk);
Options.v().set_force_overwrite(true);
// output as APK, too//-f J
Options.v().set_output_format(Options.output_format_dex);
Options.v().set_force_android_jar(androidJAR);
Options.v().set_android_jars(androidJAR);
Options.v().set_allow_phantom_refs(true);
List<String> procDir = new ArrayList<String>();
procDir.add(apk);
Options.v().set_process_dir(procDir);
Options.v().set_soot_classpath(classpath);
Scene.v().addBasicClass("android.util.Log", SootClass.SIGNATURES);
Scene.v().addBasicClass("call.LogCaller", SootClass.BODIES);
Scene.v().loadNecessaryClasses();
Scene.v().getSootClass("call.LogCaller").setApplicationClass();
}
开发者ID:bjrnmath，项目名称:mutaflow，代码行数:29，代码来源:PrivacyAPK.java
示例2: generateCSV
import soot.options.Options; //导入依赖的package包/类
/**
* Generate file representing the graph as comma separated edges.
* @param outputName
* @throws IOException
*/
public void generateCSV(String outputName) throws IOException {
// create directory to write graphs
File graphDir = new File(Options.v().output_dir() +"/"+ "graphs/");
if (!graphDir.exists())
graphDir.mkdir();
for (int i=0; i < ConfigCHA.v().getGraphOutMaxDepth(); i++) {
String name = graphDir.getAbsolutePath() +"/"+ i + outputName;
out.add(new PrintWriter(new BufferedWriter(new FileWriter(name))));
log.info("Output CSV graph to '"+ name);
}
Set<SootMethod> alreadyVisited = new HashSet<SootMethod>();
SootMethod main = Scene.v().getMainMethod();
alreadyVisited.add(main);
visit(alreadyVisited, main, 0);
for (int i=0; i < ConfigCHA.v().getGraphOutMaxDepth(); i++)
out.get(i).close();
}
开发者ID:Alexandre-Bartel，项目名称:permission-map，代码行数:25，代码来源:OutputGraph.java
示例3: TrapUnitGraph
import soot.options.Options; //导入依赖的package包/类
/**
* Constructs the graph from a given Body instance.
* @param the Body instance from which the graph is built.
*/
public TrapUnitGraph(Body body)
{
super(body);
int size = unitChain.size();
if(Options.v().time())
Timers.v().graphTimer.start();
unitToSuccs = new HashMap<Unit, List<Unit>>(size * 2 + 1, 0.7f);
unitToPreds = new HashMap<Unit, List<Unit>>(size * 2 + 1, 0.7f);
buildUnexceptionalEdges(unitToSuccs, unitToPreds);
buildExceptionalEdges(unitToSuccs, unitToPreds);
makeMappedListsUnmodifiable(unitToSuccs);
makeMappedListsUnmodifiable(unitToPreds);
buildHeadsAndTails();
if(Options.v().time())
Timers.v().graphTimer.end();
soot.util.PhaseDumper.v().dumpGraph(this, body);
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:27，代码来源:TrapUnitGraph.java
示例4: setSootOptions
import soot.options.Options; //导入依赖的package包/类
@Override
public void setSootOptions(Options options) {
// explicitly include packages for shorter runtime:
List<String> includeList = new LinkedList<String>();
includeList.add("java.lang.*");
includeList.add("java.util.*");
includeList.add("java.io.*");
includeList.add("sun.misc.*");
includeList.add("java.net.*");
includeList.add("org.apache.http.*");
includeList.add("de.test.*");
includeList.add("soot.*");
includeList.add("securibench.*");
includeList.add("javax.servlet.*");
includeList.add("com.oreilly.servlet.*");
// includeList.add("java.security.");
// includeList.add("javax.crypto.");
options.set_include(includeList);
options.set_output_format(Options.output_format_none);
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:21，代码来源:ConfigSecuriBench.java
示例5: stringBuilderTest2_NoJDK
import soot.options.Options; //导入依赖的package包/类
@Test(timeout=600000)
public void stringBuilderTest2_NoJDK(){
Infoflow infoflow = initInfoflow(true);
infoflow.setSootConfig(new IInfoflowConfig() {
@Override
public void setSootOptions(Options options) {
List<String> excludeList = new ArrayList<String>();
excludeList.add("java.");
excludeList.add("javax.");
options.set_exclude(excludeList);
options.set_prepend_classpath(false);
}
});
List<String> epoints = new ArrayList<String>();
epoints.add("<soot.jimple.infoflow.test.StringTestCode: void methodStringBuilder2()>");
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
checkInfoflow(infoflow, 1);
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:21，代码来源:StringTests.java
示例6: exceptionControlFlowTestNoJDK1
import soot.options.Options; //导入依赖的package包/类
@Test
public void exceptionControlFlowTestNoJDK1() throws IOException {
Infoflow infoflow = initInfoflow();
infoflow.setTaintWrapper(new EasyTaintWrapper(new File("EasyTaintWrapperSource.txt")));
infoflow.setSootConfig(new IInfoflowConfig() {
@Override
public void setSootOptions(Options options) {
List<String> excludeList = new ArrayList<String>();
excludeList.add("java.");
excludeList.add("javax.");
options.set_exclude(excludeList);
options.set_prepend_classpath(false);
}
});
List<String> epoints = new ArrayList<String>();
epoints.add("<soot.jimple.infoflow.test.ExceptionTestCode: void exceptionControlFlowTest1()>");
infoflow.computeInfoflow(appPath, null, epoints, sources, sinks);
checkInfoflow(infoflow, 1);
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:23，代码来源:ExceptionTests.java
示例7: doPrivilegedTest3_NoJDK
import soot.options.Options; //导入依赖的package包/类
@Test(timeout=300000)
public void doPrivilegedTest3_NoJDK() {
Infoflow infoflow = initInfoflow();
infoflow.setSootConfig(new IInfoflowConfig() {
@Override
public void setSootOptions(Options options) {
List<String> excludeList = new ArrayList<String>();
excludeList.add("java.");
excludeList.add("javax.");
options.set_exclude(excludeList);
options.set_prepend_classpath(false);
}
});
List<String> epoints = new ArrayList<String>();
epoints.add("<soot.jimple.infoflow.test.OtherTestCode: void doPrivilegedTest3()>");
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
checkInfoflow(infoflow, 1);
Assert.assertTrue(infoflow.getResults().isPathBetweenMethods(sink, sourceDeviceId));
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:22，代码来源:OtherTests.java
示例8: callToReturnTest
import soot.options.Options; //导入依赖的package包/类
@Test(timeout=300000)
public void callToReturnTest() throws IOException{
// not yet supported
Infoflow infoflow = initInfoflow();
infoflow.setInspectSinks(false);
infoflow.setEnableImplicitFlows(true);
infoflow.setTaintWrapper(new EasyTaintWrapper("EasyTaintWrapperSource.txt"));
infoflow.setSootConfig(new IInfoflowConfig() {
@Override
public void setSootOptions(Options options) {
options.set_include(Collections.<String>emptyList());
List<String> excludeList = new ArrayList<String>();
excludeList.add("java.");
excludeList.add("javax.");
options.set_exclude(excludeList);
options.set_prepend_classpath(false);
}
});
List<String> epoints = new ArrayList<String>();
epoints.add("<soot.jimple.infoflow.test.ImplicitFlowTestCode: void callToReturnTest()>");
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
checkInfoflow(infoflow, 1);
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:27，代码来源:ImplicitFlowTests.java
示例9: implicitFlowTaintWrapperTest
import soot.options.Options; //导入依赖的package包/类
@Test(timeout=300000)
public void implicitFlowTaintWrapperTest() throws IOException{
Infoflow infoflow = initInfoflow();
infoflow.setInspectSinks(false);
infoflow.setEnableImplicitFlows(true);
infoflow.setTaintWrapper(new EasyTaintWrapper("EasyTaintWrapperSource.txt"));
infoflow.setSootConfig(new IInfoflowConfig() {
@Override
public void setSootOptions(Options options) {
options.set_include(Collections.<String>emptyList());
List<String> excludeList = new ArrayList<String>();
excludeList.add("java.");
excludeList.add("javax.");
options.set_exclude(excludeList);
options.set_prepend_classpath(false);
}
});
List<String> epoints = new ArrayList<String>();
epoints.add("<soot.jimple.infoflow.test.ImplicitFlowTestCode: void implicitFlowTaintWrapperTest()>");
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
checkInfoflow(infoflow, 1);
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:26，代码来源:ImplicitFlowTests.java
示例10: implicitFlowTaintWrapperNegativeTest
import soot.options.Options; //导入依赖的package包/类
@Test(timeout=300000)
public void implicitFlowTaintWrapperNegativeTest() throws IOException{
Infoflow infoflow = initInfoflow();
infoflow.setInspectSinks(false);
infoflow.setEnableImplicitFlows(true);
infoflow.setTaintWrapper(new EasyTaintWrapper(Collections.<String, Set<String>>emptyMap()));
infoflow.setSootConfig(new IInfoflowConfig() {
@Override
public void setSootOptions(Options options) {
options.set_include(Collections.<String>emptyList());
List<String> excludeList = new ArrayList<String>();
excludeList.add("java.");
excludeList.add("javax.");
options.set_exclude(excludeList);
options.set_prepend_classpath(false);
}
});
List<String> epoints = new ArrayList<String>();
epoints.add("<soot.jimple.infoflow.test.ImplicitFlowTestCode: void implicitFlowTaintWrapperTest()>");
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
negativeCheckInfoflow(infoflow);
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:26，代码来源:ImplicitFlowTests.java
示例11: determineExcludedPackages
import soot.options.Options; //导入依赖的package包/类
private void determineExcludedPackages() {
excludedPackages = new LinkedList<String>();
if (Options.v().exclude() != null)
excludedPackages.addAll(Options.v().exclude());
// do not kill contents of the APK if we want a working new APK afterwards
if( !Options.v().include_all()
&& Options.v().output_format() != Options.output_format_dex
&& Options.v().output_format() != Options.output_format_force_dex) {
excludedPackages.add("java.*");
excludedPackages.add("sun.*");
excludedPackages.add("javax.*");
excludedPackages.add("com.sun.*");
excludedPackages.add("com.ibm.*");
excludedPackages.add("org.xml.*");
excludedPackages.add("org.w3c.*");
excludedPackages.add("apple.awt.*");
excludedPackages.add("com.apple.*");
}
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:21，代码来源:Scene.java
示例12: getDefaultThrowAnalysis
import soot.options.Options; //导入依赖的package包/类
/**
* Returns the {@link ThrowAnalysis} to be used by default when
* constructing CFGs which include exceptional control flow.
*
* @return the default {@link ThrowAnalysis}
*/
public ThrowAnalysis getDefaultThrowAnalysis()
{
if( defaultThrowAnalysis == null ) {
int optionsThrowAnalysis = Options.v().throw_analysis();
switch (optionsThrowAnalysis) {
case Options.throw_analysis_pedantic:
defaultThrowAnalysis = PedanticThrowAnalysis.v();
break;
case Options.throw_analysis_unit:
defaultThrowAnalysis = UnitThrowAnalysis.v();
break;
default:
throw new IllegalStateException("Options.v().throw_analysi() == " +
Options.v().throw_analysis());
}
}
return defaultThrowAnalysis;
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:25，代码来源:Scene.java
示例13: loadNecessaryClasses
import soot.options.Options; //导入依赖的package包/类
/** Load the set of classes that soot needs, including those specified on the
* command-line. This is the standard way of initialising the list of
* classes soot should use.
*/
public void loadNecessaryClasses() {
loadBasicClasses();
for (String name : Options.v().classes()) {
loadNecessaryClass(name);
}
loadDynamicClasses();
if(Options.v().oaat()) {
if(Options.v().process_dir().isEmpty()) {
throw new IllegalArgumentException("If switch -oaat is used, then also -process-dir must be given.");
}
} else {
for( final String path : Options.v().process_dir() ) {
for (String cl : SourceLocator.v().getClassesUnder(path)) {
SootClass theClass = loadClassAndSupport(cl);
theClass.setApplicationClass();
}
}
}
prepareClasses();
setDoneResolving();
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:30，代码来源:Scene.java
示例14: getMinJavaVersion
import soot.options.Options; //导入依赖的package包/类
@Override
protected int getMinJavaVersion(SootMethod method) {
final BafBody body = getBafBody(method);
int minVersion = Options.java_version_1_1;
for (Unit u : body.getUnits()) {
if (u instanceof DynamicInvokeInst) {
return Options.java_version_1_7;
}
if (u instanceof PushInst) {
if (((PushInst) u).getConstant() instanceof ClassConstant) {
minVersion = Options.java_version_1_5;
}
}
}
return minVersion;
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:19，代码来源:BafASMBackend.java
示例15: printProfilingInformation
import soot.options.Options; //导入依赖的package包/类
public void printProfilingInformation() {
long totalTime = totalTimer.getTime();
G.v().out.println("Time measurements");
G.v().out.println();
G.v().out.println(" Main generation: " + toTimeString(mainGeneration, totalTime));
G.v().out.println();
G.v().out.println(" Entry points: " + entryPoints);
G.v().out.println(" Class count: " + classes);
// Print out time stats.
G.v().out.println("totalTime:" + toTimeString(totalTimer, totalTime));
if (Options.v().subtract_gc()) {
G.v().out.println("Garbage collection was subtracted from these numbers.");
G.v().out.println(
" forcedGC:" + toTimeString(G.v().Timer_forcedGarbageCollectionTimer, totalTime));
}
}
开发者ID:dialdroid-android，项目名称:ic3-dialdroid，代码行数:23，代码来源:Timers.java
示例16: TypeResolver
import soot.options.Options; //导入依赖的package包/类
private TypeResolver(JimpleBody stmtBody, Scene scene)
{
this.stmtBody = stmtBody;
hierarchy = ClassHierarchy.classHierarchy(scene);
OBJECT = hierarchy.OBJECT;
NULL = hierarchy.NULL;
typeVariable(OBJECT);
typeVariable(NULL);
// hack for J2ME library, reported by Stephen Cheng
if (!Options.v().j2me()) {
typeVariable(hierarchy.CLONEABLE);
typeVariable(hierarchy.SERIALIZABLE);
}
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:17，代码来源:TypeResolver.java
示例17: ClassHierarchy
import soot.options.Options; //导入依赖的package包/类
private ClassHierarchy(Scene scene)
{
if(scene == null)
{
throw new InternalTypingException();
}
G.v().ClassHierarchy_classHierarchyMap.put(scene, this);
NULL = typeNode(NullType.v());
OBJECT = typeNode(RefType.v("java.lang.Object"));
// hack for J2ME library which does not have Cloneable and Serializable
// reported by Stephen Chen
if (!Options.v().j2me()) {
CLONEABLE = typeNode(RefType.v("java.lang.Cloneable"));
SERIALIZABLE = typeNode(RefType.v("java.io.Serializable"));
} else {
CLONEABLE = null;
SERIALIZABLE = null;
}
INT = typeNode(IntType.v());
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:25，代码来源:ClassHierarchy.java
示例18: TypeResolverBV
import soot.options.Options; //导入依赖的package包/类
private TypeResolverBV(JimpleBody stmtBody, Scene scene)
{
this.stmtBody = stmtBody;
hierarchy = ClassHierarchy.classHierarchy(scene);
OBJECT = hierarchy.OBJECT;
NULL = hierarchy.NULL;
typeVariable(OBJECT);
typeVariable(NULL);
// hack for J2ME library, reported by Stephen Cheng
if (!Options.v().j2me()) {
typeVariable(hierarchy.CLONEABLE);
typeVariable(hierarchy.SERIALIZABLE);
}
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:17，代码来源:TypeResolverBV.java
示例19: autoSetOptions
import soot.options.Options; //导入依赖的package包/类
public void autoSetOptions() {
//when no-bodies-for-excluded is enabled, also enable phantom refs
if(Options.v().no_bodies_for_excluded())
Options.v().set_allow_phantom_refs(true);
//when reflection log is enabled, also enable phantom refs
CGOptions cgOptions = new CGOptions( PhaseOptions.v().getPhaseOptions("cg") );
String log = cgOptions.reflection_log();
if(log!=null && log.length()>0) {
Options.v().set_allow_phantom_refs(true);
}
//if phantom refs enabled, ignore wrong staticness in type assigner
if(Options.v().allow_phantom_refs()) {
PhaseOptions.v().setPhaseOption("jb.tr", "ignore-wrong-staticness:true");
}
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:18，代码来源:Main.java
示例20: generateInnerClassReferences
import soot.options.Options; //导入依赖的package包/类
/**
* Emits the bytecode for all references to inner classes if present
*/
protected void generateInnerClassReferences() {
if (sc.hasTag("InnerClassAttribute")
&& !Options.v().no_output_inner_classes_attribute()) {
InnerClassAttribute ica = (InnerClassAttribute) sc
.getTag("InnerClassAttribute");
List<InnerClassTag> sortedTags = new ArrayList<InnerClassTag>(ica.getSpecs());
Collections.sort(sortedTags, new SootInnerClassComparator());
for (InnerClassTag ict : sortedTags) {
String name = slashify(ict.getInnerClass());
String outerClassName = slashify(ict.getOuterClass());
String innerName = slashify(ict.getShortName());
int access = ict.getAccessFlags();
cv.visitInnerClass(name, outerClassName, innerName, access);
}
}
}
开发者ID:flankerhqd，项目名称:JAADAS，代码行数:20，代码来源:AbstractASMBackend.java
注：本文中的soot.options.Options类示例整理自Github/MSDocs等源码及文档管理平台，相关代码片段筛选自各路编程大神贡献的开源项目，源码版权归原作者所有，传播和使用请参考对应项目的License；未经允许，请勿转载。 |
客服电话
APP下载
官方微信
请发表评论