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] About the slicing plugin. (slicing speed on slicing zones)
- Subject: [Frama-c-discuss] About the slicing plugin. (slicing speed on slicing zones)
- From: abiao.yang at gmail.com (David Yang)
- Date: Mon, 23 Sep 2013 10:31:28 +0800
Dear all, What is the slicing algorithm for slicing zones in frama-c? Currently, I am using frama-c to perform program slicing. I am not very sure about the slicing algorithm for slicing zones in frama-c. Firstly, I select zones (Locations.Zone.t) related to a function by using : Db.Slicing.select_func_zone Then, I apply the slicing request by using: !Db.Slicing.Request.apply_all prj ~propagate_to_callers:false; But this is very slow, even the function is less than 20 source lines of code. I guess the slicing plugin perform a slicing task in the following : 1. Apply slicing request for each zone respectively 2. Combine those slices related to each zone. Am I right? In addition, any suggestion on how to improve speed for this kind of slicing task? Best regards, David Yang -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130923/8702ebd1/attachment.html>
- Follow-Ups:
- [Frama-c-discuss] About the slicing plugin. (slicing speed on slicing zones)
- From: anne.pacalet at free.fr (Anne Pacalet)
- [Frama-c-discuss] About the slicing plugin. (slicing speed on slicing zones)
- From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
- [Frama-c-discuss] About the slicing plugin. (slicing speed on slicing zones)
- Prev by Date: [Frama-c-discuss] Jessie3 detecting issue Z3,3.2
- Next by Date: [Frama-c-discuss] About the slicing plugin. (slicing speed on slicing zones)
- Previous by thread: [Frama-c-discuss] Jessie3 detecting issue Z3,3.2
- Next by thread: [Frama-c-discuss] About the slicing plugin. (slicing speed on slicing zones)
- Index(es):