CIL分析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；为宏：make run-ciltest4。