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 |
|