搜索结果: 1-1 共查到“工学 Detect Memory Access Errors”相关记录1条 . 查询时间(0.057 秒)
ARCHER:Using Symbolic,Path-sensitive Analysis to Detect Memory Access Errors
ARCHER Using Symbolic Path-sensitive Analysis Detect Memory Access Errors
2015/8/7
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER usespath-sensitive, interprocedural s...