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

[Frama-c-discuss] About the slicing plugin. (slicing speed on slicing zones)



Dear all,

uh... The following code is my function for slicing a punch of zones.

let slice_zones zones kf =
    let prj = !Db.Slicing.Project.mk_project "zones slice" in
    let mark = !Db.Slicing.Mark.make ~data:true ~addr:true ~ctrl:true in
    let ref_sel_set = ref Db.Slicing.Select.empty_selects in
    List.iter
        (fun z ->
            ref_sel_set := !Db.Slicing.select_func_zone !ref_sel_set mark z
kf
        ) zones;
    !Db.Slicing.Request.add_selection prj !ref_sel_set;
    !Db.Slicing.Request.apply_all prj ~propagate_to_callers:false;
    !Db.Slicing.Slice.get_all prj kf;
;;
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130923/1f0f6b34/attachment.html>