Back to Results
First PageMeta Content
Data types / Computer arithmetic / C programming language / Primitive types / Software bugs / Frama-C / Integer overflow / C / Undefined behavior / Computing / Software engineering / Computer programming


Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Sodium[removed]
Add to Reading List

Document Date: 2015-03-17 11:33:41

Open Document

File Size: 657,36 KB

Share Result on Facebook

Company

Software Safety Laboratory / /

IndustryTerm

verification tools / /

Person

Julien Signoles / /

ProgrammingLanguage

C / /

SocialTag