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

[Frama-c-discuss] Extraction of relationships from application programming interfaces



Hello,

I would like to clarify the capabilities for your evolving software a bit more.

* How "convenient" and safe is it to extract relationships from a collection of
  data structures and corresponding functions so that they could be represented
  by an entity-relationship model (or ER diagram)?

* Do you support advanced visualisation of involved software dependencies
  around bigger source file libraries?
  
Regards,
Markus