cil-snippet:此存储库包含代码片段，使用 CIL（C 中间语言）分析 OpenSSL 库中的敏感数据流

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 为宏