Logo

To do list

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!...

简短的2022年终总结

​2022的时间跨度太大,很多事情记不清了.....

CS61C Lab 3

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 ...

Paper Reading "Formal Verification of Smart Contracts"

Keywords:Formal Verification,Smart Contract...

Paper Reading "SigRec: Automatic Recovery of Function Signatures in Smart Contracts"

keywords:Smart contract,function signature,Ethereum,automatic recovert,type-aware symbolic execution...

Web3Py整理

Web3Py简易信息及安装使用...

Solidity规范(如何节省Gas)

solidity规范之如何节省gas...

CS143-Lexical analyzer-note

前言:发现最近自己好多想做的事都绕不开编译原理这一关,无论是学习南大的软件分析还是llvm的混淆抑或是自己正在搓的8086汇编模拟器,都需要这个作为前置知识,干脆就速通下吧!...

奇奇怪怪的hook使用——Detours

补档:暑假学的Detours还没怎么整理过,发现居然快忘记了,赶紧补一篇文章留档环境配置下载detoursgit clone https://github.com/microsoft/Detours打开VS自带工具X86 Native Tools Command Prompt for VS 进入到d...

初见协议Fuzz之Boofuzz

前言:由于IOT设备的二进制Fuzzing配置有点麻烦,笔者打算先研究研究协议的Fuzzing过渡过渡,协议Fuzzing和二进制Fuzzing的不同是,前者关键在Monitor,后者关键在执行效率。和偏离实践的CTF不同,依照人工审计的方法分析起现实世界的二进制程序往往会显得力不从心,实际生产环境...