skysys的研究小屋

略。查ppt。修正：上图中的语句2 的可到达语句不包括4。定义集合我们先确定每个语句的 Gen 和 Kill 集合：路径分析接下来我们分析从入口到 [9] 的所有路径：在每个路径上，我们计算每个语句的 In 和 Out 集合。路径1: [0] -> [1] -> [2] -> [3] -> [4] -> [5] -> [9]In(0) = {}

国科大软件安全课程笔记

1.1.1 和 1.1.2 直接 F5 看 flag 就可以了，故略。1.1.3 对输入用了算法变换，能看到flag，比如输入x,经过f处理成f(x)然后判断f(x)=y，现在要破解f的算法然后写个逆预算g(y)=x这个代码看起来很抽象，因为 IDA 没有正确的恢复这里的变量结构。选中变量按“N”重命名，按“Y”更改类型这里很明显是一个buf数组，IDA识别成两个变量，按Y修改为char buf[20]数组。

软件安全课程实践