1 paper · 1 filter
Freek Verbeek, Ali Shokri, Daniel Engel +1
Binary-level pointer analysis can be of use in symbolic execution, testing, verification, and decompilation of software binaries. In various such contexts, it is crucial that the r…