--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on June 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Need help on C-code slicing



Hello,

2011/6/9 Fran?ois Armand <francois.armand at orange.fr>:
> I'm gonna spend some time on this learning curve and will very likely come
> back later on

If you plan to spent some time on learning Frama-C and especially the
Value Analysis, I recommend reading the Frama-C blog. Pascal has made
a lot of posts that detail the Value Analysis (amongst other points):
  http://blog.frama-c.com/
  http://blog.frama-c.com/index.php?tag/value

Best regards,
david