Conditioned Slicing in Frama-C

Conditioned Slicing in Frama-C



1.Conditioned Slicing in Frama-C - Stack Overflow

Description:My last question (Understanding Frama-C slicer results) was on
a precise example, but as I said, my goal is to know if it is possible to
do some conditioned slicing ...



2.slicing - Understanding Frama-C slicer results - Stack ...

Description:I'd like to know if it's possible to do some kind of forward
conditioned slicing with Frama-C and I'm playing with some examples to
understand how one could achieve this.



3.Frama-C

Description:... slicing pragmas can be inserted into the source code. ...
Function specifications such as pre and post-conditions are not taken into
account, ...



4.Frama-C

Description:FRAMA_C_MALLOC_INDIVIDUAL modelization now properly treats
allocated blocks as ... fixed bugs related to enabling/disabling
conditions of the slicing submenu.



5.mantis:frama-c:publications [Frama-C]

Description:Frama-C User Manual. http://frama ... Functional Dependencies
of C Functions via Weakest Pre-Conditions International Journal on ...
Program Slicing and Test ...



6.Tag - derived analysis - Frama-C news and ideas

Description:... modifying the program as below and invoking Frama-C's
slicing plug-in ... B if we want to have a chance to establish the
post-condition. The slicing was ...



7.Change Log - Frama-C Bug Tracking System

Description:Frama-C - Change Log ... - 0000787: [Plug-in > slicing] same
conditions as 786, sliced program does not terminate when original does
(csmith) (Anne Pacalet) - closed.



8.Tag - donut - Frama-C news and ideas

Description:... which was extracted using Frama-C's slicing plug-in. /*@
ensures 0 <= \result <= 11 ; ... j make the analyzer uncertain about the
post-condition N ¡Ü 11.



9.CiteULike: Pre/Post Conditioned Slicing

Description:Pre/Post Conditioned Slicing. by: Mark Harman, Rob Hierons,
Chris Fox, Sebastian Danicic, John Howroyd ... slicing; Citations (CiTO)
No CiTO relationships defined.



10.Frama-C - Springer

Description:Frama-C is a source code analysis platform that aims at ...
Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using ...
General Terms & Conditions.