acm-header
Sign In

Communications of the ACM

Latest Research


Latest Research Research Archive Refine your search:
dateMore Than a Year Ago
subjectSecurity
author M. Frans Kaashoek

A Differential Approach to Undefined Behavior Detection
From Communications of the ACM

A Differential Approach to Undefined Behavior Detection

This paper studies undefined behavior arising in systems programming languages such as C/C++. We introduce a new static checker called STACK that precisely identifies...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account