Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries

Value flow analysis that tracks the flow of values via data dependence is a widely used technique for detecting a broad spectrum of software bugs. However, the scalability issue often deteriorates when high precision (i.e., path-sensitivity) is required, as the instantiation of function summaries be...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings / International Conference on Software Engineering s. 1781 - 1792
Hlavní autori:	Wang, Yongchao, Cai, Yuandao, Zhang, Charles
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 26.04.2025
Predmet:	Boosting Computer bugs inter-procedural analysis Performance gain Scalability Software Software engineering value flow analysis
ISSN:	1558-1225
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!