Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT-Reference-Cited by-同舟云学术

Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT

Published:2015 Issue: Volume: Page:441-456
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Muntean Paul,Kommanapalli Vasantha,Ibing Andreas,Eckert Claudia

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-24255-2_32

Reference34 articles.

1. Aho, A.V., et al.: A minimum-distance error-correcting parser for context-free languages. SIAM J. Comput. 1(4), 305–312 (1972)

2. Chen, L., et al.: R2Fix: automatically generating bug fixes from bug reports. In: Proceedings of the 2013 IEEE 6th ICST

3. Crispin, C., et al.: StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks. In: Proceedings of the 7th USENIX SSYM 1998

4. Crispin, C., et al.: Buffer overflows: attacks and defenses for the vulnerability of the decade*. In: DARPA Discex 2000

5. Lecture Notes in Computer Science;L Moura de,2008

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

1. IntRepair: Informed Repairing of Integer Overflows;IEEE Transactions on Software Engineering;2021-10-01

2. Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases.;The Journal of Object Technology;2021

3. Automatic Software Repair;ACM Computing Surveys;2019-01-31

4. Safety and Security;Digital Transformation;2019

5. Semantic crash bucketing;Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering;2018-09-03