Flow-Sensitivity Heuristic for C interval analysis
收藏Mendeley Data2021-01-04 更新2026-04-09 收录
下载链接：
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
