从逻辑bingo开始的SAT介绍和Z3求解。
总之，我想写这个博客很久了。这个题目是25年10月份的时候做的，但是因为沉迷vibe coding导致一直都没写。今天我的周用量快给我用完了，所以来写点博客。
最新文章
V8 Bytecode反编译不完全指南
0x0 Introduction V8! 兄弟们V8! 真男人就要用V8！ V8字节码反汇编与反编译过程中的实践与经验，涵盖构建 V8、分析 bytecode 格式、尝试绕过校验与反汇编/反编译的一些非官方方法瞄。 （如有错漏，敬请指正）
计算机视觉基础: Filtering (滤波)
Introduction在数字图像处理中，滤波是一个基本且关键的操作。滤波不仅用于增强图像质量，还在诸如去噪、边缘检测和图像分割等高级任务中扮演着重要角色。本文将简单的探讨线性与非线性滤波的基本概念、实现方法及其在计算机视觉中的应用。
用一个例子来简单介绍保证并发安全的几种方式
Introduction大家好，我是说的道理，今天来点大家想看的东西啊。
如何模拟执行一个elf文件
Introduction在尝试逆向一个动态链接库的时候，有时你可能希望单独运行某个函数，以探究它的具体作用。 如果这个二进制文件的编译架构与你的机器架构相同，并且你拥有其所有依赖库，那么操作相对简单：直接使用dlopen加载动态库，然后通过 offset 获取函数地址，执行即可。 然而，如果遇到不同架构的二进制文件，比如 aarch64 架构，应如何方便地进