--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on November 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] on slicer outputs



Hello,

I am interested in obtaining PDG information of slicing results to find out predecessor/successor relationships.

I have tried the following options so far:
1. "-pdg-debug -pdg" on original C code (before slicing)
2. "-slicing-debug "-debug 5"" in slicing the original C code.

The pdg information in 1. was fine, but I have no idea how to link this pdg information to slicing debug info from 2. Or where to see in the source to find out related internal information.

Could you provide information on finding out immediate predecessor/successor relationships from slicing results? Thank you in advance.

Sincerely,
Myung-Jin

-- 
-----------------------------------------------------
???? ?Myung-Jin Jung, Ph. D)
?????? ??? 10? 03G ??
?410-1193 ????????1200?? ??????
TEL?(055)997-7569 [???816-3565]?
E-mail : myungjin at jung.tec.toyota.co.jp
-----------------------------------------------------