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

Why Functional Programming in Java is Dangerous

http://cafe.elharo.com/programming/java-programming/why-functional-programming-in-java-is-dangerous/





저작자 표시
신고

WRITTEN BY
Profile
비타오백
Enjoy your stage!

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

 저작권 문제로 인해 링크 사이트 걸어둠

http://spin.atomicobject.com/2012/06/04/live-coding-is-evolving/

 

 

 

 

저작자 표시
신고

WRITTEN BY
Profile
비타오백
Enjoy your stage!

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

전자 프로젝트를 어떻게 시작 하는지 소개한 내용

http://lifehacker.com/5975190/how-to-get-started-with-diy-electronics-projects

 

 

 

저작자 표시
신고

WRITTEN BY
Profile
비타오백
Enjoy your stage!

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