Holy Macroni!一种渐进式语言增强的配方
blog.trailofbits.com | 博客 | #linux-kernel | #static-analysis | #llvm | #compilers | #mlir | #clang | #c-language
摘要
Trail of Bits 开源 Macroni:结合 PASTA、VAST 与 MLIR,将 C 代码连同 CPP 宏展开的来源信息降级到 MLIR,使宏感知的静态分析(如强 typedef、更安全的信号处理、增强 Linux Sparse)更易实现。
- 发布时间
- 收录时间
Skip to content