摘 要:利用程序的可伸缩性对程序进行代码切片,识别出受敏感变量影响的关键语句,消除噪音并挖掘程序内部依赖,用以检测代码的漏洞与缺陷。针对切片对依赖过于敏感的问题,提出一种基于敏感语义关联的代(试读)...