Complete development of Frama-C Vulnerability Detector