Precise Compositional Buffer Overflow Detection via Heap Disjointness

Uloženo v:
Podrobná bibliografie
Název: Precise Compositional Buffer Overflow Detection via Heap Disjointness
Autoři: Yiyuan Guo, Peisen Yao, Charles Zhang
Zdroj: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :63-75
Informace o vydavateli: ACM, 2024.
Rok vydání: 2024
Druh dokumentu: Article
DOI: 10.1145/3650212.3652110
Rights: URL: https://www.acm.org/publications/policies/copyright_policy#Background
Přístupové číslo: edsair.doi...........4831e7f71465788a1cfd0d25066a82d9
Databáze: OpenAIRE
Popis
DOI:10.1145/3650212.3652110