- 博客(11)
- 收藏
- 关注
翻译 二进制漏洞挖掘之angr‘s Reaching Definition Analysis(二)
如何编写一个函数处理程序来模拟一个函数对分析状态的影响?结合angr的Reaching Definition Analysis,处理静态分析期间的函数调用。相关实验表明,该方法已经在DLink、ProLink等路由器上发挥重要的作用。
2021-12-25 22:12:54
984
原创 二进制漏洞挖掘之angr‘s Reaching Definition Analysis(一)
程序中变量之间的依赖关系,是程序分析中不可忽略的要素。在二进制程序中,我们可以通过使用angr中的Reaching Definition Analysis方法,对变量的来源进行追踪,从而达到漏洞检测、恶意数据溯源等目的。
2021-12-24 19:38:27
1065
2
原创 论文精炼:Device-agnostic Firmware Execution is Possible ACSAC ‘20
Device-agnostic Firmware Execution is Possible: A Concolic Execution Approach for Peripheral EmulationAbstractKey insight:We do not encode into our emulator any specific information about a device. Instead, Laelaps infers the expected behavior of fir
2021-11-08 11:49:23
366
原创 BUUCTF 周练 Week1
Week 1Q1 axb_2019_brop64(这题本来是盲打,buuoj给了源文件难度减少了很多) IDA分析发现,read函数长度存在栈溢出 checksec结果,没有Canary和PIE,可直接利用栈溢出构造rop 本题靶机使用的是Ubuntu16 使用libc-2.23.so (或者可使用LibcSearcher 寻找对应libc)构造rop思路: 在此之前 puts函数已被调用,其GOT表被覆盖为真实的函数地址,可利用ROPgadget 得到real_puts_
2021-11-03 12:49:27
2765
原创 Dlink路由器 CNVD-2018-01084 远程命令执行漏洞 复现分析
Dlink路由器 CNVD-2018-01084复现分析D-Link DIR 615/645/815路由器1.03及之前的固件版本存在远程命令执行漏洞。该漏洞是由于service.cgi中拼接了HTTP POST请求中的数据,造成后台命令拼接,导致可执行任意命令。cnvd上的漏洞说明:https://www.cnvd.org.cn/flaw/show/CNVD-2018-01084在官网获取漏洞版本的固件:DIR645A1_FW102B08.bin解压
2021-11-03 12:36:22
1115
1
原创 Angr 学习摘要 0x02
符号执行之 hook 相关添加约束# We will let z3 attempt to find an input that will make this expression# true.constraint_expression = constrained_parameter_bitvector == constrained_parameter_desired_value # Add the constraint to the state to instruct z3 to inc
2021-11-01 00:29:58
141
原创 Angr 学习摘要 0x01
符号化内存相关# Sometimes, you want to specify where the program should start. The variable # start_address will specify where the symbolic execution engine should begin. # Note that we are using blank_state, not entry_state. # (!) start_address = 0x0804
2021-10-31 19:30:24
123
原创 Angr 学习摘要 0x00
Angr 学习摘要 0x00由于毕设的需要,自学了一下Angr的使用。在这里简要记录一下Angr的API。# init projectproject = angr.Project(path_to_binary)# init state initial_state = project.factory.entry_state()# create sim_managersimulation = project.factory.simgr(initial_state)# Explore the
2021-10-31 11:37:37
106
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人