文件名称：nequivack:C程序的非等效性检查器
文件大小：54KB
文件格式：ZIP
更新时间：2024-06-15 08:19:36
C
奈奎瓦克 nequivack是C程序的非对等检查器。 通过使用符号执行引擎 ，此工具可以对C程序进行符号分析，并尝试找到等效的反例。 文件和目录 build.xml构建工具的各个部分。 run.xml运行工具的各个部分。 eqCheck.properties包含以上两个文件的属性。 Evaluation.sh脚本，我们用于评估。 显示该工具的示例多线程用法。 build在生成过程中生成。 包含工具所有部分的运行二进制文件。 评估包含用于评估的小型示例程序。 src包含该工具的源代码。 要求 非等效检查器具有一些软件要求。 它们在下面列出。 Apache Ant（至少是1.8.0版），因此是Java运行时（至少是Java 7） 带有以下软件包的Clang和libclang： clang-3.4 libclang-3.4-dev libclang-common-3.4-dev
【文件预览】：
nequivack-master
----eqCheck.properties(1KB)
----evaluation()
--------structs()
--------basic()
--------math()
--------sorting()
----README.md(3KB)
----run.xml(12KB)
----Evaluation.sh(4KB)
----LICENSE(11KB)
----src()
--------String.c(8KB)
--------Parameter.c(1KB)
--------Structure.c(1KB)
--------FunctionExtractor.c(10KB)
--------Array.c(1KB)
--------createOutputFolder.sh(296B)
--------File.c(2KB)
--------CodeGenerator.c(833B)
--------MainGenerator.c(23KB)
--------KleeAnalyzer.c(2KB)
--------Tokenizer.c(479B)
--------LibraryHelper.c(462B)
--------headers()
--------HeaderWriter.c(1KB)
--------ClangHelper.c(766B)
--------Function.c(4KB)
--------FunctionRewriter.c(5KB)
--------HeaderChecker.c(2KB)
--------runKlee.sh(590B)
--------TransformationRunner.c(1KB)
--------StructHeaderWriter.c(1KB)
--------StructExtractor.c(3KB)
----build.xml(5KB)