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

[Frama-c-discuss] slicing inquiry



Hi Virgile

Thanks for the fast reply. I'm running frama-c from the command line. Do
you know where should I look for this meta-data?

Cheers

Ivan.-

On Mon, Sep 30, 2019 at 1:03 PM Virgile Prevosto <virgile.prevosto at m4x.org>
wrote:

> Hello,
>
> Le lun. 30 sept. 2019 à 17:12, Ivan Postolski <ivan.postolski at gmail.com>
> a écrit :
>
> > Is it possible to retrieve the lines of the original program that were
> selected for a frama-c slice?
> > Or any mapping between the slice of frama-c and the original program?
>
> Yes, normally the original locations are kept in the new project generated
> by the Slicing plug-in. You can see that indirectly if you select this new
> project (by default named Slicing Export) in the GUI and click on a
> statement in the normalized code view (on the left): the original code view
> (on the right) should move to the corresponding line. Note however that
> some statements in the original code might be split into several ones in
> the normalized view, and that it can happen that some of these statements
> are included in the slices and not others.
>
> Best regards,
> --
> E tutto per oggi, a la prossima volta
> Virgile
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190930/4a4a4960/attachment.html>