Or CCured [1]

1. https://www.nist.gov/itl/ssd/software-quality-group/safer-la...