0

I have been trying to use the pdg-dot plugin to help create a good graph of my software.The problem is different files don't have main so Frama-C complains. When I use the -main tag and specify a function to start it, it only creates a .dot file for the function and anything inside of it. Is there a way to make a .dot file of the entire .c file I have?

Adam
  • 33
  • 7

1 Answers1

0

I don't think so. Each generated PDG represents one function only. But you can get the PDGs for all functions that are reachable from the entry point (main).

Anne
  • 1,270
  • 6
  • 15
  • I have a good entry point but now, after I had to fight with the missing header files, I get gtkwin.c:77:[kernel] user error: syntax error. Anything I can do to fix this? – Adam Jul 11 '15 at 14:23