符号执行和混合符号执行,以及一个混合符号执行引擎的实现
上个星期我看了一下 EXE 的论文,做了一下 cs6.858 的 lab3。大一的时候其实我就接触过符号执行,但是一直很遗憾没有自己实现过。所以又花了一个周末的时间写…
![](https://raw.githubusercontent.com/chujDK/ImageHost/main/PicGoIMage/20221018131646.png)
Sea-of-nodes 论文阅读笔记
A Simple Graph-Based Intermediate Representation 论文地址。这是 Sea-of-nodes IR 提出者 Cliff Click 的论文,之前“意识流学” V8 的时候,一直搞不明白 sea of nodes 的思想是什么,也尝试的找了很多资料想学习,但是感觉…
![](https://raw.githubusercontent.com/chujDK/ImageHost/main/PicGoIMage/20220913120647.png)
对解密某国产聊天软件聊天数据库的分析
最近这段时间研究了一下怎么解密微信的加密数据库。我们知道,微信在各个平台都是加密保存用户聊天记录的,并且没有提供导出明文记录的功能,这给我们…
![](https://www.cjovi.icu/usr/uploads/2022/07/2875328885.png)