Back to Results
First PageMeta Content
Data types / Frama-C / Source code / Function / Pointer / Subroutine / Computer programming / Computing / Software engineering


Value Analysis Frama-C’s value analysis plug-in Sodium[removed]rc2 Pascal Cuoq and Boris Yakobowski with Virgile Prevosto
Add to Reading List

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

Open Document

File Size: 903,81 KB

Share Result on Facebook

Company

Software Reliability Laboratory / /

Facility

Standard C library / /

Person

Boris Yakobowski / /

/

ProgrammingLanguage

Pascal / C / /

Technology

API / /

URL

http /

SocialTag