Ikoct的饮冰室

你愿意和我学一辈子二进制吗?

0%

发表于 分类于 ，
本文字数： 4.9k 阅读时长 ≈ 4 分钟

BPF简介

BPF(Berkeley Packet Filter)是一个在Linux内核运行的安全计算系统 可以简单理解为一个专门为了计算过滤规则的虚拟机 通常配合prctl() 或 seccomp()进行对系统调用的限制 有两个主要32位寄存器:

A(累加器, Accumulator)：存储主要操作数据

X(索引寄存器, Index Register)：通常用于索引计算或临时存储数据

以及16个32位内存单元mem[idx]

支持常见的数值和位运算 在使用seccomp或prctl添加了BPF过滤器后 每次进行系统调用时都会先对使用的系统调用号sys_number 系统ABIarch 以及传入的参数进行安全计算然后判断是否能够执行系统调用

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 52k 阅读时长 ≈ 47 分钟

Angr简介

Angr提供了一个处理二进制文件的框架 主流的指令集指令在被载入CLE框架后 会根据功能被抽象为中间语言(IL) Angr提供的就是处理这些被载入为IL的程序 可以用来实现自动化的程序调试 例如直接载入程序然后像模拟的标准输入流输入数据以达到直接利用原程序进行爆破的目的 同时Angr还内置了约束求解器

阅读全文 »

发表于 更新于 分类于 ，
本文字数： 43k 阅读时长 ≈ 39 分钟

参赛ID:1K0CT, Team : 4W3, 最终排名:88th(公开赛道)

做到flocto师傅的题真的每次都要有感而发一下 真正能让我全身心投入的赛题 给一个陌生的考点 但是不至于让你寸步难行 有种接触新东西的时候那个东西对你欲拒还迎激发探索欲的美 可能这就是flocto师傅出的题的魅力吧

阅读全文 »