Show simple item record

dc.contributor.authorWang, Xi
dc.contributor.authorChen, Haogang
dc.contributor.authorCheung, Alvin K.
dc.contributor.authorJia, Zhihao
dc.contributor.authorZeldovich, Nickolai
dc.contributor.authorKaashoek, M. Frans
dc.date.accessioned2014-05-14T18:43:26Z
dc.date.available2014-05-14T18:43:26Z
dc.date.issued2012
dc.identifier.isbn9781450316699
dc.identifier.urihttp://hdl.handle.net/1721.1/86949
dc.description.abstractSystem programming languages such as C grant compiler writers freedom to generate efficient code for a specific instruction set by defining certain language constructs as undefined behavior. Unfortunately, the rules for what is undefined behavior are subtle and programmers make mistakes that sometimes lead to security vulnerabilities. This position paper argues that the research community should help address the problems that arise from undefined behavior, and not dismiss them as esoteric C implementation issues. We show that these errors do happen in real-world systems, that the issues are tricky, and that current practices to address the issues are insufficient.en_US
dc.description.sponsorshipUnited States. Defense Advanced Research Projects Agency (DARPA CRASH program (#N66001-10-2-4089))en_US
dc.language.isoen_US
dc.publisherAssociation for Computing Machineryen_US
dc.relation.isversionofhttp://dx.doi.org/10.1145/2349896.2349905en_US
dc.rightsCreative Commons Attribution-Noncommercial-Share Alikeen_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/en_US
dc.sourceMIT web domainen_US
dc.titleUndefined behavior: what happened to my code?en_US
dc.typeArticleen_US
dc.identifier.citationWang, Xi, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, and M. Frans Kaashoek. “Undefined Behavior.” Proceedings of the Asia-Pacific Workshop on Systems - APSYS ’12 (2012), July 23-24, 2012. Seoul, S. Korea.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratoryen_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Scienceen_US
dc.contributor.mitauthorChen, Haogangen_US
dc.contributor.mitauthorWang, Xien_US
dc.contributor.mitauthorCheung, Alvin K.en_US
dc.contributor.mitauthorZeldovich, Nickolaien_US
dc.contributor.mitauthorKaashoek, M. Fransen_US
dc.relation.journalProceedings of the Asia-Pacific Workshop on Systems - APSYS '12en_US
dc.eprint.versionAuthor's final manuscripten_US
dc.type.urihttp://purl.org/eprint/type/ConferencePaperen_US
eprint.statushttp://purl.org/eprint/status/NonPeerRevieweden_US
dspace.orderedauthorsWang, Xi; Chen, Haogang; Cheung, Alvin; Jia, Zhihao; Zeldovich, Nickolai; Kaashoek, M. Fransen_US
dc.identifier.orcidhttps://orcid.org/0000-0003-0238-2703
dc.identifier.orcidhttps://orcid.org/0000-0002-2898-1686
dc.identifier.orcidhttps://orcid.org/0000-0002-6390-6569
dc.identifier.orcidhttps://orcid.org/0000-0001-7098-586X
mit.licenseOPEN_ACCESS_POLICYen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record