Export Citations
1 Results for: Keyword: assembly analysis
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,790,162 records)|Limit your search to The ACM Full-Text Collection (766,447 records)
Select All
- research-articleApril 2017
An Architecture Supporting Formal and Compositional Binary Analysis
- Joseph McMahan,
- Michael Christensen,
- Lawton Nichols,
- Jared Roesch,
- Sung-Yee Guo,
- Ben Hardekopf,
- Timothy Sherwood
ASPLOS '17: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating SystemsPages 177–191https://doi.org/10.1145/3037697.3037733Building a trustworthy life-critical embedded system requires deep reasoning about the potential effects that sequences of machine instructions can have on full system operation. Rather than trying to analyze complete binaries and the countless ways ...
Also Published in:
ACM SIGPLAN Notices: Volume 52 Issue 4ACM SIGARCH Computer Architecture News: Volume 45 Issue 1