搜索结果: 1-2 共查到“计算机科学技术 Path-sensitive Analysis”相关记录2条 . 查询时间(0.108 秒)
Sound, Complete and Scalable Path-Sensitive Analysis
Static analysis path- and context-sensitive analysis strongest necessary/weakest sufficient conditions
2016/5/24
We present a new, precise technique for fully path- and contextsensitive program analysis. Our technique exploits two observations:First, using quantified, recursive formulas, path- and contextsensiti...
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...