文件名称：cil-snippet:此存储库包含代码片段，使用 CIL（C 中间语言）分析 OpenSSL 库中的敏感数据流
文件大小：18KB
文件格式：ZIP
更新时间：2024-07-24 13:46:56
OCaml
cil-snippet 一个静态分析，它使用 CIL（C 中间语言）框架来分析 OpenSSL 库。 ciltest1： 展示 CIL 如何在 main.c 上工作。 ciltest2： 分析，分析的输入和输出在main.c。 test1.c test1.h main.c: 模拟 OpenSSL 行为的测试环境。 test_func_pointer.h test_func_pointer.c 函数指针抽象的测试用例，在OpenSSL库中被广泛使用。 test_macro.h test_macro.c 宏的测试用例，广泛用于 BIGNUM 的操作。 生成文件： 生成文件。 用法： 查看 CIL 如何处理每一行代码： make run-ciltest1 运行分析： make run-ciltest2 运行函数指针的测试用例： make run-ciltest3 为宏
【文件预览】：
cil-snippet-master
----Makefile(2KB)
----test_macro.c(849B)
----openssl-files(30KB)
----ciltest2.ml(33KB)
----test1.c(1KB)
----README.md(916B)
----ciltest1.ml(2KB)
----ciltest3.ml(2KB)
----test1.h(768B)
----ciltest4.ml(3KB)
----main.c(2KB)
----test_func_pointer.c(1KB)
----test_func_pointer.h(601B)