--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on October 2015 ---
Hello, Le 07/10/2015 15:41, Nishkala HM a écrit : > I am a student who is interested in doing a project on Frama-C- Abstract > Interpretation. Can you please help me to understand the basics of > Frama-c first and share me any documents that would help me understand > easily. You should read this documentation: http://frama-c.com/download/value-analysis-Sodium-20150201.pdf Best regards, david