Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


Nathan_Jackson_Thesis_Rev5.pdf (676.79 KB)

ETD Abstract Container

Abstract Header

Finding Data Races in Software Binaries with Symbolic Execution

Jackson, Nathan D.
http://rave.ohiolink.edu/etdc/view?acc_num=wright1589358160703163

Abstract Details

2020, Master of Science (MS), Wright State University, Computer Science.
Modern software applications frequently make use of multithreading to utilize hardware resources better and promote application responsiveness. In these applications, threads share the program state, and synchronization mechanisms ensure proper ordering of accesses to the program state. When a developer fails to implement synchronization mechanisms, data races may occur. Finding data races in an automated way is an already challenging problem, but often impractical without source code or understanding how to execute the program under analysis. In this thesis, we propose a solution for finding data races on software binaries and present our prototype implementation BINRELAY. Our solution makes use of symbolic execution to maximize program coverage without requiring specific inputs to be passed to the binary. Currently, BINRELAY is limited to the detection of data races on global variables, but with future work, our system could detect data races on variables in other scopes.
Junjie Zhang, Ph.D. (Advisor)
Meilin Liu, Ph.D. (Committee Member)
Michelle Cheatham, Ph.D. (Committee Member)
64 p.
Computer Science
multithreading; data races; symbolic execution; software binaries

Recommended Citations

Citations

  • Jackson, N. D. (2020). Finding Data Races in Software Binaries with Symbolic Execution [Master's thesis, Wright State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=wright1589358160703163

    APA Style (7th edition)

  • Jackson, Nathan. Finding Data Races in Software Binaries with Symbolic Execution. 2020. Wright State University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=wright1589358160703163.

    MLA Style (8th edition)

  • Jackson, Nathan. "Finding Data Races in Software Binaries with Symbolic Execution." Master's thesis, Wright State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=wright1589358160703163

    Chicago Manual of Style (17th edition)

wright1589358160703163
371
© 2020, all rights reserved.
This open access ETD is published by Wright State University and OhioLINK.