Aim
Finding 'Heartbleed' class of bugs with taint analysis.
Background reading: https://heartbleed.com/
Motivation
While Coverity is now able to detect this bug, we wanted to evaluate the
state of open-source security tooling in 2024.
Have we been able to reduce the cost of finding such bugs after all …
read more