Dynamic Optimizations for Symbolic Execution
Dynamic Optimizations for Symbolic Execution
Supervisor(s): | Fabian Kilger |
Status: | open |
Topic: | Software testing |
Type of Thesis: | Masterthesis Bachelorthesis Guided Research |
DescriptionMotivationRecent works [1-3] have shown that the symbolic emulation of code plays an important role in the efficiency of symbolic execution. Also, it has been shown that program transformations can significantly affect the performance of symbolic execution engines [4]. However, currently each instruction is currently emulated by itself and no optimizations are performed. Therefore, there exists a potential in applying optimizations to reduce the amount of instrumentation and the overhead induced by symbolic emulation. For example, incrementing a memory location usually consists of a load, inc and store instruction which all TopicThe goal of this research is to implement a framework to allow dynamic optimizations of symbolic execution. It should extend on State-of-the-Art approaches that use Dynamic Binary Instrumentation (DBI) [1,4]. Then, several optimizations should be designed and implemented. Finally, the performance of the resulting framework is evaluated. The steps can roughly be summarized as follows:
Requirements
ContactReferences[1] http://www.s3.eurecom.fr/tools/symbolic_execution/symqemu.html |