从逻辑bingo开始的SAT介绍和Z3求解。 Posted on 2026-04-14 In Coding 总之,我想写这个博客很久了。这个题目是25年10月份的时候做的,但是因为沉迷vibe coding导致一直都没写。今天我的周用量快给我用完了,所以来写点博客。 Read more »
V8 Bytecode反编译不完全指南 Posted on 2025-09-14 In CTF 0x0 Introduction V8! 兄弟们V8! 真男人就要用V8! V8字节码反汇编与反编译过程中的实践与经验,涵盖构建 V8、分析 bytecode 格式、尝试绕过校验与反汇编/反编译的一些非官方方法瞄。 (如有错漏,敬请指正) Read more »
计算机视觉基础: Filtering (滤波) Posted on 2024-10-19 In Coding Introduction在数字图像处理中,滤波是一个基本且关键的操作。滤波不仅用于增强图像质量,还在诸如去噪、边缘检测和图像分割等高级任务中扮演着重要角色。本文将简单的探讨线性与非线性滤波的基本概念、实现方法及其在计算机视觉中的应用。 Read more »
用一个例子来简单介绍保证并发安全的几种方式 Posted on 2024-10-17 In Coding Introduction大家好,我是说的道理,今天来点大家想看的东西啊。 Read more »
如何模拟执行一个elf文件 Posted on 2024-07-04 In CTF Introduction在尝试逆向一个动态链接库的时候,有时你可能希望单独运行某个函数,以探究它的具体作用。 如果这个二进制文件的编译架构与你的机器架构相同,并且你拥有其所有依赖库,那么操作相对简单:直接使用dlopen加载动态库,然后通过 offset 获取函数地址,执行即可。 然而,如果遇到不同架构的二进制文件,比如 aarch64 架构,应如何方便地进行调试和模拟运行呢? 一种常见的方法是在相应架构上启动gdbserver或使用frida等类似工具进行跟踪。但这种方法过于笨重。是否存在一种更轻量级的方法来模拟运行这个 ELF 文件呢? unicorn模拟运行, 外加elf简单介绍 Read more »
C++ object lifecyle adventure Posted on 2024-06-17 In Coding IntroductionProgrammer: Huh. I wonder where are my objects? C++: I don't know. Objects have their own lifecycles. adapt from: "Your characters also have their own lives." -by anonymous genshin impact fansoriginal: 《角色也有自己的生活》 c++ object, contructor, deconstructor, variable scope and lifecycles. Read more »
在windows上编译并使用opencv的正确姿势 Posted on 2024-06-09 In Coding 本文简单介绍了如何在windows上用mingw编译opencv! 并在cmake中使用自己编译好的opencv! Read more »
如何在go embed中包含有下划线(_)的文件 + Gin SPA Posted on 2024-02-15 In Coding tl;dr使用 all标题来解决问题。 related issue: go@issue43854 //go:embed public var fs embed.FS Read more »
Getting root access on cpsc436s assignment workspace Posted on 2024-02-10 In CTF tl;drI found a privilegee escalation vulnerability in one of my course's assignment. I've reported the vulnerability to our instructor, and he fixed it. yaayy. This article will be about how I found this vulnerability and how I utilized it to get a root shell. Read more »