Program analysis via satisfiability modulo path programs

Path-sensitivity is often a crucial requirement for verifying safety properties of programs. As it is infeasible to enumerate and analyze each path individually, analyses compromise by soundly merging information about executions along multiple paths. However, this frequently results in a loss of pr...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	SIGPLAN notices 2010-01, Vol.45 (1), p.71-82
Hauptverfasser:	Harris, William R., Sankaranarayanan, Sriram, Ivančić, Franjo, Gupta, Aarti
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!