--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on March 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] can frama-c handle callback function well?



Hello

Le ven. 8 mars 2019 à 02:12, newbieroc <newbieroc at 163.com> 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
somehow.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190308/09756212/attachment.html>