Manticore是一个用于动态二进制分析的原型设计工具,支持符号执行、污染分析和二进制检测