CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Retaining Path-Sensitive Relations Across Control-Flow Merges

Douglas Gregor ; Sibylle Schupp (Institutionen för datavetenskap, Software Engineering)

We present a new value range merge operation that, unlike traditional value range merge operations, preserves arbitrary ordering relationships between program variables. We guide this new algorithm with two data structures that model interobject field relationships, enabling better precision in the analysis of object-oriented programs without prohibitive implementation or run-time costs. We discuss our own implementation of this algorithm in the STLlint static checker, which is able to verify C++ iterator loops that otherwise would require path-sensitive analysis.

Publisher: Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY.

Denna post skapades 2013-05-23.
CPL Pubid: 177270


Institutioner (Chalmers)

Institutionen för datavetenskap, Software Engineering (2002-2004)


Data- och informationsvetenskap

Chalmers infrastruktur