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] on slicer outputs

  • Subject: [Frama-c-discuss] on slicer outputs
  • From: myungjin at (jung, myung-jin)
  • Date: Tue, 17 Nov 2009 11:40:54 +0900


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.


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