Tags

5 个页面

VAST

使用多级IR和VAST在C代码中发现漏洞

使用多级IR和VAST在C代码中查找漏洞

Macroni：利用宏和MLIR增强C语言类型安全与静态分析

使用多级IR和VAST在C代码中寻找漏洞

Macroni：基于宏和MLIR的C语言渐进式增强方案