The architecture of Frama-C

Link/CodePrj_Link2013.01.23 10:35

Link Site

Frama-C is organized with a plug-in architecture (comparable to that of the Gimp or Eclipse).
A common kernel centralizes information and conducts the analysis. Plug-ins interact with each other through interfaces defined by the kernel. This makes for robustness in the development of Frama-C while allowing a wide functionality spectrum.

Build Your
Own Plug-In
Frama-C is extensible. It contains several ready-to-use plug-ins for the static analysis of C code,

but more importantly, any new plug-in may use the results or functionalities provided by the existing plug-ins. This allows very powerful plug-ins to be written with relatively little effort.


Posted by 비타오백

관련 글

댓글 영역

티스토리 툴바