Closed ainne26 closed 5 years ago
I'm afraid the Github issues page is more directed towards bugs and technical issues in Frama-C, while your questions are more about general usage and research-oriented questions. I believe posting them in the frama-c-discuss mailing list would be better, since there are more academic researchers over there who could indicate other solutions, beyond Frama-C itself.
You could also try asking questions tagged frama-c
in StackOverflow, they are likely to reach a much wider audience.
okay thank You Sir.
I am a PG student and doing my research on code clone detection. For this purpose I made program dependency graphs of C code using a tool named frama-c. Now I have to extract features/metrics from these program dependency graphs for further processing. Is there any tool that can extract features/metrics from program dependency graph. Please help me in this issue ??