Bibliographic Details
| Title: |
Precise Compositional Buffer Overflow Detection via Heap Disjointness |
| Authors: |
Yiyuan Guo, Peisen Yao, Charles Zhang |
| Source: |
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :63-75 |
| Publisher Information: |
ACM, 2024. |
| Publication Year: |
2024 |
| Document Type: |
Article |
| DOI: |
10.1145/3650212.3652110 |
| Rights: |
URL: https://www.acm.org/publications/policies/copyright_policy#Background |
| Accession Number: |
edsair.doi...........4831e7f71465788a1cfd0d25066a82d9 |
| Database: |
OpenAIRE |
Nájsť tento článok vo Web of Science