Runtime Enforcement of Memory Safety for the C Programming Language

Runtime Enforcement of Memory Safety for the C Programming Language

218 Pages · 2011 · 1.33 MB · English

Abstract Titleofdissertation: Runtime Enforcement of Memory Safety for the C Programming Language MatthewStephenSimpson,DoctorofPhilosphy,2011 Dissertationdirectedby

Runtime Enforcement of Memory Safety for the C Programming Language free download


Abstract Title of dissertation: Runtime Enforcement of Memory Safety for the C Programming Language Matthew Stephen Simpson, Doctor of Philosphy, 2011 Dissertation directed by: Professor Rajeev BaruaMemory access violations are a leading source of unreliability in C programs Although the lowlevel features of the C programming language, like unchecked pointer arithmetic and explicit memory management, make it a desirable language for many programming tasks, their use often results in hardtodetect memory errors As evidence of this problem, a variety of methods exist for retrotting C with software checks to detect memory errors at runtime However, these techniques generally suer from one or more practical drawbacks that have thus far limited their adoption These weaknesses include the inability to detect all spatial and temporal violations, the use of incompatible metadata, the need for manual code modications, and the tremendous runtime cost of providing complete safety This dissertation introduces MemSafe, a compiler analysis and transformation for ensuring the memory safety of C programs at runtime while avoiding the above draw backs MemSafe makes several novel contributions that improve upon previous work and lower the runtime cost of achieving memory safety These include (1) a method for modeling temporal errors as spatial errors, (2) a hybrid metadata representation that combines the most salient features of both object and pointerbased approaches, and (3) a dataow representation that simplies optimizations for removing unneeded checks and unused metadata Experimental results indicate that MemSafe is capable of detecting memory safety violations in realworld programs with lower runtime overhead than previous methods Results show that MemSafe detects all known memory errors in multiple versions of two large and widelyused open source applications as well as six programs from a benchmark suite specically designed for the evaluation of error detection tools MemSafe enforces complete safety with an average overhead of 88% on 30 widelyused performance evaluation benchmarks In comparison with previous work, MemSafe's average runtime overhead for one common benchmark suite (29%) is a fraction of that associated with the previous technique (133%) that, until now, had the lowest overhead among all existing complete and automatic methods that are capable of detecting both spatial and temporal violations Runtime Enforcement of Memory Safety for the C Programming Language by Matthew Stephen Simpson Dissertation submitted to the Faculty of the Graduate School of the University of Maryland, College Park in partial fulllment of the requirements for the degree ofDoctor of Philosophy 2011 Advisory Committee: Professor Rajeev Barua, Chair Professor Shuvra Bhattacharyya Professor Michael Hicks Professor ChauWen Tseng Professor Donald Yeung c Copyright by Matthew Stephen Simpson 2011 AcknowledgementsThere are several people I would like to thank who were instrumental in the completion of my doctoral dissertation and my graduate studies in general Foremost among these are my parents, Steve and Judy Simpson I thank them for their constant love, support, and patience while completing my graduate studies They instilled in me, at an early age, the hard work and disciple required for pursing a doctoral degree, and my achievement is a reection of their own success as parents I will never be able to thank them enough for all that they have done for me I would like to thank my advisor, Dr Rajeev Barua Dr Barua became my advisor in the fall semester of 2004, but we had previously worked together the year before when I participated in a summerlong research program for undergraduate students My experience at the University of Maryland then was enormously inuential in the overall trajectory of my academic endeavors, and I am grateful for having been given the opportunity to return as a graduate student His advice throughout these years has made me a much better writer and researcher and also given me insight into the challenges and rewards associated with a career in academia Many of the ideas presented in this dissertation are the direct result of our conversations and discussions, and it is fair to say that without his eager support and extensive knowledge of

------------- Read More -------------

Download runtime-enforcement-of-memory-safety-for-the-c-programming-language.pdf

Runtime Enforcement of Memory Safety for the C Programming Language related documents

DEPARTMENT of HEALTH and HUMAN - Centers for Disease Control and

507 Pages · 2008 · 6.61 MB · English

influenza, natural disasters, and terrorism, while remaining focused on the threats to health and local, tribal and territorial health network.

A Typology of Victim Characterization in Television Crime Dramas

33 Pages · 2010 · 278 KB · English

her analysis of one season of Law & Order, NYPD Blue, and The Practice. She found that only

Immigration and Economy in the Globalization Process

236 Pages · 2002 · 1.63 MB · English

will need employees with the right skills and motivation. Switching to an active im- Finland by analyzing the development of the volume of foreign-born and foreign na- tionals and direct foreign . In the globalization trend of corporations, competition has shifted from natural re- source and expen

International Student Guide for Employment in the US

19 Pages · 2012 · 741 KB · English

Problem- If you do not speak English as a native language, you are at a distinct disadvantage communicating with recruiters. Solution- Consciously make an effort to talk with Americans: • Make presentations, take English courses, and work tirelessly at improving your English skills. • Ask a fel

Binders for radioactive waste forms made from pretreated calcined sodium bearing waste

8 Pages · 2006 · 187 KB ·

Although calcination of the pretreated SBW produces a instance metakaolin mixed with NaOH proved to be a superior binder for solidification.

List of Developing Nations Afghanistan Albania Algeria Angola

2 Pages · 2011 · 538 KB ·

Algeria. Angola. Antigua and Barbuda. Argentina. Armenia. Azerbaijan Hungary. India. Indonesia. Iran, Islamic Republic of. Iraq. Jamaica. Jordan.

22 NAVAJO NATION COUNCIL | Office of the Speaker

2 Pages · 2013 · 295 KB · English

Law and Order Committee receives update regarding and an additional amount of $1.4 million to ensure operation through operations through the winter season.

The European Car Parking Sector Sees M&A Flurry, But Will It Be An Easy Ride For Investors?

11 Pages · 2017 · 813 KB · English

The European Car Parking Sector Sees M&A Flurry, But Will It Be An Easy Ride For Investors? spglobal.com/ratingsdirect. Dec. 6, 2017. 2. Despite lots of M&A activity in the. European car parking sector, the future is somewhat uncertain. Acquisitions are the major growth catalyst for operators, but

Building Permits Granted Development Services Department City of San Antonio

84 Pages · 2012 · 272 KB · English

438 RICHLAND HILLS DR BLDG 10. DL CAMBRIDGE DEV GROUP, INC. (713)961-1336 x. 2251200. NEW 2-STORY MULTI-FAMILY APARTMEN. $947,363.00 2284202. 20x4=80 sq ft at csw, 171 sq ft at approach. $0.00. 3106 PIEDRA DE RIO. PRESIDIO CONST LLC. (210)679-8837 x. 2284203.

Department of History Postgraduate Handbook 2017-18

48 Pages · 2017 · 906 KB · English

Social and cultural change in early modern Ireland; the diffusion of print and the changing experience of . support for their modules (https://www.maynoothuniversity.ie/current-students). Social Media. The Department of History has a presence on social Format (e.g., film, video, DVD), that is, the