Added the value analysis using Frama-C