动态二进制分析与插桩原理介绍(PDF)_二进制插桩资源-CSDN文库

共3个文件

mp4：1个

txt：1个

pdf：1个

二进制插桩

需积分: 48 99 浏览量 2018-12-02 12:04:53 上传评论 3 收藏 28.5MB ZIP 举报

资源推荐

资源详情

资源评论

收起资源包目录

package

动态二进制分析与插桩原理介绍(PPT).zip （3个子文件）

Software security - Basic Symbolic Execution.mp4 29.04MB

动态二进制分析与插桩.pdf 520KB

介绍.txt 452B

Dynamic Binary Analysis and Instrumentation

Covering a function using a DSE approach

Jonathan Salwan

jsalwan@quarkslab.com

Security Day

Lille – France

January 16, 2015

Keywords : Program analysis, DBI, Pin, concrete execution,

symbolic execution, DSE, taint analysis, context snapshot and

Z3 theorem prover.

2

●

I am a junior security researcher at Quarkslab

●

I have a strong interest in all low level computing

and program analysis

●

I like to play with weird things even though it's

useless

Who am I?

3

●

Introduction

–

Dynamic binary instrumentation

–

Data flow analysis

–

Symbolic execution

–

Theorem prover

●

Code coverage using a DSE

approach

–

Objective

–

Snapshot

–

Registers and memory references

–

Rebuild the trace with the

backward analysis

roadmap of this talk

●

DSE example

●

Demo

●

Some words about vulnerability

finding

●

Conclusion

4

●

Introduction

5

Introduction

Dynamic Binary Instrumentation

内容反馈

flydream3618

粉丝: 16
资源: 28

最新资源

资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！点击此处反馈

feedback-tip