Optimizing Static Instrumentation for Symbolic Execution
Optimizing Static Instrumentation for Symbolic Execution
Supervisor(s): | Fabian Kilger |
Status: | inprogress |
Topic: | Others |
Author: | Korbinian Stein |
Submission: | 2022-08-15 |
Type of Thesis: | Bachelorthesis |
Description |