Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Value analysis plug-in algorithms

  • Subject: [Frama-c-discuss] Value analysis plug-in algorithms
  • From: jsdslml at (jsd slml)
  • Date: Fri Nov 14 14:56:22 2008


I'm very impressed by the accuracy of the variation domains this plugin can
compute and I would be very interested to know which techniques are used to
achieve this, even more interested in good papers describing those
techniques. So if anyone here have a few hints on this, it would be of a
great help to me.

-------------- next part --------------
An HTML attachment was scrubbed...