Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement-Reference-Cited by-同舟云学术

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

Published:2015-03-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Sidiroglou-Douskos Stelios¹,Lahtinen Eric¹,Rittenhouse Nathan¹,Piselli Paolo¹,Long Fan¹,Kim Deokhwan¹,Rinard Martin¹

Affiliation:

1. MIT CSAIL, Cambridge, MA, USA

Funder

Defense Advanced Research Projects Agency

Publisher

ACM

Link

Reference41 articles.

1. Common vulnerabilities and exposures. http://cve.mitre.org/. Common vulnerabilities and exposures. http://cve.mitre.org/.

2. Dillo. http://www.dillo.org/. Dillo. http://www.dillo.org/.

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

4. Peach fuzzing platform. http://peachfuzzer.com/. Peach fuzzing platform. http://peachfuzzer.com/.

5. SafeInt. http://safeint.codeplex.com/. SafeInt. http://safeint.codeplex.com/.

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

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

4. Using active learning to synthesize models of applications that access databases;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08

5. Active learning for inference and regeneration of computer programs that store and retrieve data;Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2018-10-24