【CTF-angr】DEFCON Quals 2019 : babytrace & mamatrace writeup
1.babytrace题解分析:本题叫做"ProgramInteractiveTracingasaSymbolicService"(PITASS),能对服务器端的headerquery程序进行符号化执行追踪。包含3个文件Dockerfile,headerquery和pitass.py。Dockerfile文件用于创建服务端的环境,没什么用,headerquery是可运行的elf文件,还有一个pyt