Since I am a super three-minute player,the blog chooses to update concurrently with multiple threads, but eventually it is going to fill the hole after a certain branch!...
Exercise 1: Familiarizing yourself with VenusWhat do the .data, .word, .text directives mean (i.e. what do you use them for)? Hint: think about the 4 ...
Keywords:Formal Verification,Smart Contract...
keywords:Smart contract,function signature,Ethereum,automatic recovert,type-aware symbolic execution...
前言:发现最近自己好多想做的事都绕不开编译原理这一关,无论是学习南大的软件分析还是llvm的混淆抑或是自己正在搓的8086汇编模拟器,都需要这个作为前置知识,干脆就速通下吧!...
补档:暑假学的Detours还没怎么整理过,发现居然快忘记了,赶紧补一篇文章留档环境配置下载detoursgit clone https://github.com/microsoft/Detours打开VS自带工具X86 Native Tools Command Prompt for VS 进入到d...
前言:由于IOT设备的二进制Fuzzing配置有点麻烦,笔者打算先研究研究协议的Fuzzing过渡过渡,协议Fuzzing和二进制Fuzzing的不同是,前者关键在Monitor,后者关键在执行效率。和偏离实践的CTF不同,依照人工审计的方法分析起现实世界的二进制程序往往会显得力不从心,实际生产环境...
1/2
下一页