A Differential Approach to Undefined Behavior Detection.

This paper studies undefined behavior arising in systems programming languages such as C/C++. Undefined behavior bugs lead to unpredictable and subtle systems behavior, and their effects can be further amplified by compiler optimizations. Undefined behavior bugs are present in many systems, includin...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 59; no. 3; pp. 99 - 107
Autores principales:	Xi Wang, Zeldovich, Nickolai, Kaashoek, M. Frans, Solar-Lezama, Armando
Formato:	Artículo
Publicado:	Association for Computing Machinery Mar2016
Materias:	Systems programming (Computer science) Programming languages Compilers (Computer programs) Databases Computer software
Acceso en línea:	Ver este registro en EBSCOhost