Finding error handling bugs in openssl using coccinelle

J Lawall, B Laurie, RR Hansen… - 2010 European …, 2010 - ieeexplore.ieee.org
2010 European Dependable Computing Conference, 2010ieeexplore.ieee.org
OpenSSL is a library providing various functionalities relating to secure network
communication. Detecting and fixing bugs in OpenSSL code is thus essential, particularly
when such bugs can lead to malicious attacks. In previous work, we have proposed a
methodology for finding API usage protocols in Linux kernel code using the program
matching and transformation engine Coccinelle. In this work, we report on our experience in
applying this methodology to OpenSSL, focusing on API usage protocols related to error …
OpenSSL is a library providing various functionalities relating to secure network communication. Detecting and fixing bugs in OpenSSL code is thus essential, particularly when such bugs can lead to malicious attacks. In previous work, we have proposed a methodology for finding API usage protocols in Linux kernel code using the program matching and transformation engine Coccinelle. In this work, we report on our experience in applying this methodology to OpenSSL, focusing on API usage protocols related to error handling. We have detected over 30 bugs in a recent OpenSSL snapshot, and in many cases it was possible to correct the bugs automatically. Our patches correcting these bugs have been accepted by the OpenSSL developers. This work furthermore confirms the applicability of our methodology to user-level code.
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果