Initial implementation of Frama-c vulnerability detector