文件名称：haybale:用Rust编写的引擎象征性地执行LLVM IR
文件大小：314KB
文件格式：ZIP
更新时间：2024-06-02 19:18:01
Rust
haybale ：用Rust编写的LLVM IR的符号执行 haybale是用Rust编写的通用符号执行引擎。 它在LLVM IR上运行，从而可以分析以C / C ++，Rust，Swift或任何其他编译为LLVM IR的语言编写的程序。 通过这种方式，可以将它与进行比较，因为它具有相似的目标，只不过haybale是用Rust编写的，并做出了一些不同的设计决策。 也就是说， haybale并没有声称与KLEE具有同等的功能。 好的，但是什么是符号执行引擎？ 符号执行引擎是一种对功能或程序的行为进行严格和数学推理的方式。 它可以推理出某个功能的所有可能输入，而无需逐字逐句强行执行。 例如，像haybale这样的符号执行引擎可以回答如下问题： （某些函数）是否有任何输入使其返回0？ 这些是什么？ 此循环是否有可能准确执行17次？ 此指针可以为NULL吗？ 符号执行引擎通过将程序或函