Frama-C

Frama-C

Edited by 

List price: US$38.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by Commissariat l' nergie Atomique et aux nergies Alternatives and Inria. Frama-C enables the analysis of C programs without executing them. Frama-C has a modular plugin architecture comparable to that of Eclipse or GIMP. Frama-C relies on CIL to generate an abstract syntax tree. The abstract syntax tree supports annotations written in ANSI/ISO C Specification Language.show more

Product details

  • Paperback | 52 pages
  • 152 x 229 x 3mm | 91g
  • Miss Press
  • United States
  • English
  • 6136586835
  • 9786136586830