Link Site  http://frama-c.com/plugins.html

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.

저작자 표시
신고

WRITTEN BY
Profile
비타오백
Enjoy your stage!

받은 트랙백이 없고 , 댓글이 없습니다.
secret