![](https://img-blog.csdnimg.cn/20201014180756930.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
自嗨翻译
「已注销」
这个作者很懒,什么都没留下…
展开
-
angr-Core Concepts(翻译)
官方文档原文:https://docs.angr.io/core-concepts注:该翻译纯为自嗨loading a binary在之前,加载/bin/true时,你只看到了angr最基本的加载工具,在接下来,我们会在没有动态库的情况下再次加载它。你同样会看到project.loader和一些它能做到的事。现在,我们将深入讨论这些接口的细微差别以及它们能提供的信息。我们简要地提到...翻译 2019-05-02 15:32:15 · 555 阅读 · 0 评论 -
Z3Py教程(翻译)
原文:https://ericpony.github.io/z3py-tutorial/guide-examples.htm练习:http://3xp10it.cc/auxilary/2017/11/14/z3-solver%E5%AD%A6%E4%B9%A0/注:该翻译用于自嗨Python中使用Z3 APIz3是Microsoft Research开发的高性能的定理证明工具。z3...翻译 2019-03-22 16:11:04 · 8014 阅读 · 4 评论 -
使用Miasm重构CFG
0x00前言原文:https://miasm.re/blog/2016/01/27/re150.htmlgithub:https://github.com/cea-sec/miasmreverseMe:http://www.grehack.fr/data/grehack2015/re/Grehack%202015%20-%20Reverse%20-%20150.zip主要是对以上...原创 2019-03-31 18:05:21 · 908 阅读 · 0 评论 -
Symbolic Execution for Software Testing(翻译)
原文:https://people.eecs.berkeley.edu/~ksen/papers/cacm13.pdf注:该翻译纯属自嗨0.介绍符号执行在近几年获得了大量关注,它作为一种很有效率的技术用于产生高覆盖率的测试组件和找出复杂软件应用的深层错误。在符号执行背后的关键理念在三十多年前就被提出了,由于约束可满足性的显著发展,以及结合了具体符号执行的更具扩展性的动态方法,它到最近才...翻译 2019-04-25 15:53:16 · 863 阅读 · 1 评论