开源符号执行框架：https://maat.re
Open-source symbolic execution framework: https://maat.re
AI 根据项目 README 整理，以原文为准
开源符号执行框架：maat.re
