--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on June 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-c slice how to choose entry to get pragma ctrl



Hi, I got some problem  about to get a CTRL slice;
I try to analysis OPENSSL

http://stackoverflow.com/questions/38107892/frama-c-slice-how-to-choose-entry-to-get-pragma-ctrl <http://stackoverflow.com/questions/38107892/frama-c-slice-how-to-choose-entry-to-get-pragma-ctrl>

so I use
frama-c ./ssl/d1_both.c  -main dtls1_process_heartbeat -slicing-value memcpy -cpp-command "gcc -C -E -I ./include/ -I ./" -then-on 'Slicing export' -print 
It gets nothing ; 
I changed into this 

frama-c ./ssl/d1_both.c  -main dtls1_process_heartbeat -slicing-level 3 -slice-pragma memcpy -cpp-command "gcc -C -E -I ./include/ -I ./" -then-on 'Slicing export' -print 
and I got a crash ; 
    Called from file "src/kernel/cmdline.ml", line 732, characters 2-9
         Called from file "src/kernel/cmdline.ml", line 212, characters 4-8
         
         Unexpected error (Kernel_function.No_Definition).
         Please report as 'crash' at http://bts.frama-c.com/ <http://bts.frama-c.com/>.
         Your Frama-C version is Fluorine-20130601.
         Note that a version and a backtrace alone often do not contain enough

My Question is how can I get a slice like that ? 


function A (){
…

memcpy()
...

}


function B (){
…
…
...

}

function C (){
…

memcpy()

...

}

what I want is everything todo with memcpy()  So I want to keep A C and delete B 
So how should I choose an entry point ? or How to choose the pragma ??
Hope I’d make my question clear and I have been confused for days 
Thanks a lot !!!!!!!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160630/e39ee49e/attachment.html>