Finding Error Handling Bugs in OpenSSL Using Coccinelle

  title={Finding Error Handling Bugs in OpenSSL Using Coccinelle},
  author={Julia L. Lawall and Ben Laurie and Ren{\'e} Rydhof Hansen and Nicolas Palix and Gilles Muller},
  journal={2010 European Dependable Computing Conference},
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… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS

5 Figures & Tables



Citations per Year

Citation Velocity: 6

Averaging 6 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.