• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号

Java SparkTransformer类代码示例

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

本文整理汇总了Java中soot.jimple.spark.SparkTransformer的典型用法代码示例。如果您正苦于以下问题:Java SparkTransformer类的具体用法?Java SparkTransformer怎么用?Java SparkTransformer使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。



SparkTransformer类属于soot.jimple.spark包,在下文中一共展示了SparkTransformer类的5个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于我们的系统推荐出更棒的Java代码示例。

示例1: generateSparkCallGraph

import soot.jimple.spark.SparkTransformer; //导入依赖的package包/类
/**
 * 
 * @param options
 */
public void generateSparkCallGraph(Map options) {
  HashMap opt = new HashMap(options);
  opt.put("verbose","true");
  opt.put("propagator","worklist"); //worklist
  opt.put("simple-edges-bidirectional","true");
  opt.put("on-fly-cg","true");
  opt.put("set-impl","double");
  opt.put("double-set-old","hybrid");
  opt.put("double-set-new","hybrid");
  opt.put("dump-html","false");
  opt.put("dump-pag","false");
  opt.put("string-constants","false");
  SparkTransformer.v().transform("",opt);
  //logger.info("Current point to point analysis: "+ Scene.v().getPointsToAnalysis());
}
 
开发者ID:Alexandre-Bartel,项目名称:permission-map,代码行数:20,代码来源:SparkFindPermissionChecks.java


示例2: setSparkPointsToAnalysis

import soot.jimple.spark.SparkTransformer; //导入依赖的package包/类
static void setSparkPointsToAnalysis() {
	System.out.println("[spark] Starting analysis ...");
			
	HashMap opt = new HashMap();
	opt.put("enabled","true");
	opt.put("verbose","true");
	opt.put("ignore-types","false");          
	opt.put("force-gc","false");            
	opt.put("pre-jimplify","false");          
	opt.put("vta","false");                   
	opt.put("rta","false");                   
	opt.put("field-based","false");           
	opt.put("types-for-sites","false");        
	opt.put("merge-stringbuffer","true");   
	opt.put("string-constants","false");     
	opt.put("simulate-natives","true");      
	opt.put("simple-edges-bidirectional","false");
	opt.put("on-fly-cg","true");            
	opt.put("simplify-offline","false");    
	opt.put("simplify-sccs","false");        
	opt.put("ignore-types-for-sccs","false");
	opt.put("propagator","worklist");
	opt.put("set-impl","double");
	opt.put("double-set-old","hybrid");         
	opt.put("double-set-new","hybrid");
	opt.put("dump-html","false");           
	opt.put("dump-pag","false");             
	opt.put("dump-solution","false");        
	opt.put("topo-sort","false");           
	opt.put("dump-types","true");             
	opt.put("class-method-var","true");     
	opt.put("dump-answer","false");          
	opt.put("add-tags","false");             
	opt.put("set-mass","false"); 		
	
	SparkTransformer.v().transform("",opt);
	
	System.out.println("[spark] Done!");
}
 
开发者ID:flankerhqd,项目名称:JAADAS,代码行数:40,代码来源:PointsToAnalysis.java


示例3: enableSparkCallGraph

import soot.jimple.spark.SparkTransformer; //导入依赖的package包/类
private static void enableSparkCallGraph()
{
	//Enable Spark
	HashMap<String,String> sparkOptions = new HashMap<String,String>();
	sparkOptions.put("on-fly-cg"     , "true");
    SparkTransformer.v().transform("",sparkOptions);
    PhaseOptions.v().setPhaseOption("cg.spark", "enabled:true");
}
 
开发者ID:k4v,项目名称:Sus,代码行数:9,代码来源:CallGraphAnalysis.java


示例4: runSparkPTA

import soot.jimple.spark.SparkTransformer; //导入依赖的package包/类
public static void runSparkPTA() {
		HashMap<String, String> opt = new HashMap<>();
		opt.put("enabled", "true");
//		opt.put("verbose", "true");
		opt.put("set-impl", "double");
		opt.put("double-set-old", "hybrid");
		opt.put("double-set-new", "hybrid");
		opt.put("propagator", "worklist");
		opt.put("string-constants", "true");
		SparkTransformer.v().transform("", opt);
	}
 
开发者ID:ylimit,项目名称:HybridFlow,代码行数:12,代码来源:PTA.java


示例5: enableSpark

import soot.jimple.spark.SparkTransformer; //导入依赖的package包/类
private static void enableSpark()
{
   //Enable Spark
    HashMap<String,String> opt = new HashMap<String,String>();
    //opt.put("verbose","true");
    opt.put("propagator","worklist");
    opt.put("simple-edges-bidirectional","false");
    opt.put("on-fly-cg","true");
    opt.put("set-impl","double");
    opt.put("double-set-old","hybrid");
    opt.put("double-set-new","hybrid");
    opt.put("pre_jimplify", "true");
    SparkTransformer.v().transform("",opt);
    PhaseOptions.v().setPhaseOption("cg.spark", "enabled:true");
}
 
开发者ID:parasol-aser,项目名称:tsa,代码行数:16,代码来源:Main.java



注:本文中的soot.jimple.spark.SparkTransformer类示例整理自Github/MSDocs等源码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。


鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
Java ErrorWithLevel类代码示例发布时间:2022-05-22
下一篇:
Java SocketListener类代码示例发布时间:2022-05-22
热门推荐
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap