搜索结果: 1-2 共查到“工学 ARCHER”相关记录2条 . 查询时间(0.056 秒)
2016年3月21-23日，美国康奈尔大学化学与生物分子工程学院院长Lynden A. Archer教授应邀访问过程工程所并受聘研究所荣誉教授，过程工程所所长张锁江院士主持了报告会并向其颁发了聘书。
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...