Huoli Shuai

Program Defect Detection Using Sensitive Slice Semantics with Control Flow Variable Dependency

2024 · Recent Advances in Computer Science and Communications

Background: Slicing technology focuses on data association behavior and is suitable for variable dependency analysis in tight defect contexts. Methods: By constructing a control flow variable dependency graph(CFVDG), performing slicing and semantic analysis and understanding, …