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?


Le ven. 8 mars 2019 à 02:12, newbieroc <newbieroc at> a écrit :

> 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.

I'm afraid that there's not enough context in your mail for us to provide
an accurate answer. Many things can happen depending on the structure of
the code itself and the slicing criterion you're using. Thus, it would be
better if you could provide a (not too big 😁) code sample together with
the options you've given to frama-c. Of course, this doesn't need to be the
exact code you're working on (we fully understand issues tied to working
with non-free software), but it has to reproduce your original problem

Best regards,
E tutto per oggi, a la prossima volta
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <>