Flow-Sensitivity Heuristic for C interval analysis
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://data.mendeley.com/datasets/tm97dvm84r
下载链接
链接失效反馈官方服务：
资源简介：
feature_table: Features for learning flow-sensitivity heuristics. Features present syntactic or semantic properties of variables in C programs.
Figure 1: Figure 1 presents the learned flow-sensitivity heuristic (f0, f1). F0 presents the variables that will be analyzed flow-insensitively while F1 presents the variables that will be analyzed flow-sensitively.
创建时间：
2021-01-04
