Frama-C vulnerability detector changes to command path