- 博客(3)
- 资源 (5)
- 收藏
- 关注
RSS订阅原创 Soot 静态分析框架（六）数据流指向分析
1. 数据流指向分析1.1 指向分析指向分析，给定一个变量的函数，计算其可能的类型，指向信息，指向分析可以帮助其它的分析。1.2 Soot的指向分析框架soot提供了PointsToAnalysis ,PointsToSet接口。任何一个指向的分析都应该实现这两个接口。PointsToAnalysis 方法reachingObjects(Local l),该方法可以返回指向参...
2019-10-19 10:00:03
3253
原创 Soot 静态分析框架（五）Annotation 的实现
1. Annotation的实现1.1 Java实现的Annotationjava 的自定义注解实现，通常我们会先自定义一个注解 import java.lang.annotation.ElementType; import java.lang.annotation.*; @Target({ElementType.TYPE,ElementType.FI...
2019-10-19 09:06:53
1133
原创 soot 静态分析框架（四）Soot lambda 构建
1. JVM 的 Lambda构建和JVM构建Lambda的方式不同，因为Lambda表达式的类是一个运行的时候动态生成的类，是通过新的JVM的指令集InvokeDynamic来实现，通过调用java/lang/invoke/LambdaMetafactory.metafactory去生成动态的内部Class，在Class里面封装了实现的抽象方法，在抽象方法里实现了对源类的静态方法packag...
2019-10-19 08:54:39
1012
jdk1.6.23 libsaproc.so linux 下amd64架构
2012-02-15
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人