Sound input filter generation for integer overflow errors-Reference-Cited by-同舟云学术

Sound input filter generation for integer overflow errors

Published:2014-01-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Long Fan¹,Sidiroglou-Douskos Stelios¹,Kim Deokhwan¹,Rinard Martin¹

Affiliation:

1. Massachusetts Institute of Technology, Cambridge, MA, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2535838.2535888

Reference37 articles.

1. Hachoir. http://bitbucket.org/haypo/hachoir/wiki/Home.. Hachoir. http://bitbucket.org/haypo/hachoir/wiki/Home..

2. LLVM Basic Alias Analysis Pass. http://llvm.org/docs/AliasAnalysis.html#the-basicaa-pass... LLVM Basic Alias Analysis Pass. http://llvm.org/docs/AliasAnalysis.html#the-basicaa-pass...

3. The LLVM compiler infrastructure. http://www.llvm.org/. The LLVM compiler infrastructure. http://www.llvm.org/.

4. D. Brumley T. Chiueh R. Johnson H. Lin and D. Song. Rich: Automatically protecting against integer-based vulnerabilities. Department of Electrical and Computing Engineering page 28 2007. D. Brumley T. Chiueh R. Johnson H. Lin and D. Song. Rich: Automatically protecting against integer-based vulnerabilities. Department of Electrical and Computing Engineering page 28 2007.

5. Creating Vulnerability Signatures Using Weakest Preconditions

Cited by 46 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. IntTracer: Sanitization-aware IO2BO Vulnerability Detection across Codebases;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14

2. Capturing Invalid Input Manipulations for Memory Corruption Diagnosis;IEEE Transactions on Dependable and Secure Computing;2023-03-01

3. Runtime Recovery for Integer Overflows;2022 6th International Conference on System Reliability and Safety (ICSRS);2022-11-23

4. Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18

5. Precise divide-by-zero detection with affirmative evidence;Proceedings of the 44th International Conference on Software Engineering;2022-05-21