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] can frama-c handle callback function well?

  • Subject: [Frama-c-discuss] can frama-c handle callback function well?
  • From: newbieroc at 163.com (newbieroc)
  • Date: Fri, 8 Mar 2019 09:12:42 +0800 (CST)
Hi,
  I just used the slicer of frama-c to slice a program which has a callback function, but when I run the slicer, almost all the codes correspond to the callback are dead.
I don't know whether it's because of the callback.


Best regards
newbieroc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190308/5a253bde/attachment-0001.html>