Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Does frama-C come with any pre-developed specification of some API (e.g., , etc.?

April 26, 2017API frama-c pre-developed specification

0

Posted

Does frama-C come with any pre-developed specification of some API (e.g., , etc.?

1 Answer

0

Posted

Besides the jessie/*.h headers, other functions are available in the share directory of Frama-C (option -print-path will give the exact location), usually under the form of a prototype with its specification and a reference implementation (which is better suited for the value analysis plugin).