Abstraction Recovery for Scalable Static Binary Analysis
Many source code tools help software programmers analyze programs as they are being developed, but such tools can no longer be applied once the final programs are shipped to the user. This greatly limits users, security experts, and anyone other than the programmer who wishes to perform additional t...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Research Showcase @ CMU
2014
|
| Subjects: | |
| Online Access: | http://repository.cmu.edu/dissertations/336 http://repository.cmu.edu/cgi/viewcontent.cgi?article=1336&context=dissertations |