基于Heros的过程间数据流分析的相关API

最新推荐文章于 2022-03-03 22:48:16 发布
VIP文章 最新推荐文章于 2022-03-03 22:48:16 发布
阅读量2k 收藏 1
点赞数
分类专栏： Android隐私检测 heros soot
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/lzq729089549/article/details/52040013
版权

https://ssebuild.cased.de/nightly/soot/javadoc/

soot.jimple.toolkits.ide

ClassMain:

public classMain extends Object.

构造方法：public Main()

其他方法：public staticvoid main(String[] args)

 

ClassJimpleIFDSSolver<D,I extendsheros.InterproceduralCFG<Unit,SootMethod>>

public classJimpleIFDSSolver<D,I extendsheros.InterproceduralCFG<Unit,SootMethod>> extendsheros.solver.IFDSSolver<Unit,D,SootMethod,I>

构造方法：JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I>problem)

JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I>problem,Boolean dumpResults)

其他方法：

最低0.47元/天 解锁文章
小作坊中搬砖
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
专栏目录
改良IFDS扰动流场三维避障规划算法实现
ZYunfei的博客
03-08 2205
参考文献 [1]. Wu J , Wang H , Li N , et al. Formation Obstacle Avoidance: A Fluid-Based Solution[J]. IEEE Systems Journal, 2019, PP(99):1-12. 基础算法 移步此博客：IFDS Improved IFDS(IIFDS) 不同之处： 扰动矩阵的合成变化了，从连乘变为连加： M‾(P)=∏w=1WMω(P)→M‾=∑k=1KωkMk\overline{\boldsymbol{M}}
SQL课程-王者荣耀heros数据表.zip
最新发布
01-04
王者荣耀大数据，毕设、课设程序，全部源码均已进行严格测试，可以直接运行！王者荣耀大数据，毕设、课设程序，全部源码均已进行严格测试，可以直接运行！王者荣耀大数据，毕设、课设程序，全部源码均已进行严格测试，可以直接运行！
静态程序分析chapter2 - IR（Jimple） 和 CFG
Little_ant_的博客
07-14 1927
IR（Intermediate Representation） 编译器（Compiler） 3AC（3-Address Code） Soot和它的IR：Jimple JVM中的方法调用与方法签名简介 CFG（Control Flow Graph）的建立
三种数据流分析的方程、用途
u011730792的专栏
12-31 2624
坐标：编译原理，代码优化 数据流分析的应用 引用定义链的到达-定义分析（前向数据流问题）、活跃变量分析（逆向数据流问题）、可用表达式分析。 在每一种数据流分析应用中，都会把每个程序点和一个数据流值关联起来。基本上这个程序点是基本块层级。 基本块的数据流分析方程 B:基本块，IN[B]: 紧靠基本块之前的数据流值，OUT[B]: 紧随基本块之后的数据流值，fB: 基本块B的传递函数。注意数据流的方向。 正向： 教课书中则是这样的数据流方程，S是一条语句 其中，gen[S]是在S中...
数据流分析简介
大草的博客
11-24 4991
先介绍三种数据流分析的应用，再用给出数据流分析框架，并进行相关的证明。
IFDS开山之作：Precise Interprocedual Dataflow Analysis via Graph Reachability
Canliture
08-05 2653
《Precise Interprocedual Dataflow Analysis via Graph Reachability》 一大类的流程间数据流问题，通过将其转化为一种特殊的图可达性问题，能够在多项式时间复杂度内被精确求解。 对于这类数据流问题的唯一约束就是：数据流事实必须是有限集，数据流转换函数必须在交汇操作（Union或Intersection）上是可分配的。 这类数据流问题包括但不限于经典的seperable problems（也叫gen/kill，bit-vector），比如reachi.
【软件分析学习笔记】5：可达定义分析(Reaching Definitions Analysis)
LauZyHou的笔记
04-03 4238
从这节开始两节课先学习数据流分析的应用，再往后两节学习数据流分析的基本原理。这节学习可达定义分析，下节学习活跃变量分析和可用表达式分析，它们都是数据流分析的常见应用。 1 数据流分析回顾 数据流分析研究的是抽象出的application-specific data如何在控制流图(CFG)上流动，大多数静态分析都是在CFG上进行分析的。 1.1 safe-approximation 对大多数静态分析...
heros.xlsm
11-14
游戏开发中可以简单实用execl书写数据然后自动转换成json,是不是相当好用。用法：cocosCreater在项目中建一个doc文件把文件放进去。自动在assets下生成一个文件夹里面存有生成的json
Android代码-heros
08-08
Heros IFDS/IDE Solver Heros is a generic implementation of an IFDS/IDE Solver that can be plugged into existing, Java-based program analysis frameworks. A reference connector exists for the Soot ...
female_clothes.xlsx
04-11
服装评论英文文本，可以情感分析用，可以数据挖掘用（有很多特征），文本特征样式：Very comfortable, material is good, cut out on sleeves flattering.
heros,烟灰IFDS/IDE解算器.zip
10-14
英雄是一个通用的实现方案，可以插入到现有的基于Java的程序分析框架中。针对SOOT框架存在引用连接器。
heros:IFDSIDE烟灰求解器
05-22
英雄IFDS / IDE解算器Heros是IFDS / IDE解决方案的通用实现，可以将其插入现有的基于Java的程序分析框架中。 存在框架的参考连接器。 英雄... 支持解决IFDS和IDE问题， 是多线程的，因此具有很高的可扩展性， 提供一...
南京大学 《软件分析》课程07 过程间分析（Interprocedural Analysis）
qq_41048815的博客
08-18 730
引入 目前的所有分析都是过程内分析，不处理方法调用的。 做最保守的假设 不精准之源头 为了更好的精度，使用过程间分析。在方法调用时，会有调用和返回边来传递数据流，避免过度假设造成的精度损失。 调用图CHA 程序中一种调用关系的表示，从调用点链接到目标方法。 应用： 所有过程间分析的基础 程序优化 程序理解 程序调试 程序测试 。。。 OO语言的调用图构造 类层次分析CHA 快速类型分析RTA 变量类型分析VTA 指针分析k-CFA Java中的方法调用 三种调用 Virtual call的特
数据流分析
weixin_44442186的博客
03-03 5914
基本原理 数据流分析是一种用来获取相关数据沿着程序执行路径流动的信息分析技术。分析对象是程序执行路径上的数据流动或可能的取值 优点：具有更强的分析能力，适合需要考虑控制流信息且变量属性之操作十分简单的静态分析问题 缺点：分析效率低，过程间分析和优化算法复杂，编程工作量大，容易出错且效率低 一个数据流分析框架(D, L, F)包含: D：数据流的方向，前向或者后向 L：包含数值作用域V和操作符meet ⊓ 或 join ⊔ 的lattice F：一系列V to
IFDS论文算法精解：应用于污点分析的例子
Canliture
09-23 2971
这里以一个污点分析的例子来说明IFDS论文中的Tabulation算法（IFDS Solver求解器）是怎么工作的。 1. 这里给定两个函数，它们之间有一条从source到sink的污染路径 2. 最终的有效的污点传播相关的边如下所示； 其中红色边对应于FlowFunction，也叫TransferFunction或者TransferRelation等术语。表示数据流经过一条语句后的流向。绿色边PathEdge为论文中描述的PathEdge，蓝色SummaryEdge为摘要边，避免重复计算。 3. 整
soot代码分析框架的基础知识（二）
epiccic3的博客
05-26 6753
本篇内容简单概括一下：soot中存在的主要对象、soot的执行流。
基于soot的过程内数据流分析
epiccic3的博客
05-30 5742
本篇内容主要是在学习intra-procedural analysis过程中，做的一些总结性知识点，内容参考知乎、龙书、A Survivor‘s Guide to Java Program Analysis with Soot。
soot代码分析框架的基础知识（一）
epiccic3的博客
05-23 4262
Class categories class分为三类：argument classes，application classes，library classes argument classes：指的是你给soot指定的classes。使用命令行工具时，argument classes就是显示列出来的需要分析的class或者由-process-dir选项指定的文件夹中的类；使用eclipse
soot插桩关键点总结（三）
epiccic3的博客
05-18 2275
利用soot插桩的一些简单总结
47.使用Java在集合heros中插入数据{"name" : "周伯通", "hometown" : "大理", "age" : 36, "gender" : "male"}。语句
10-09
使用Java在集合heros中插入数据{"name" : "周伯通", "hometown" : "大理", "age" : 36, "gender" : "male"}的语句可以如下所示： ```java import java.util.HashMap; import java.util.Map; public class Main { ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 3
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值