The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
We demonstrate the value analysis of Frama-C. Frama-C is an Open Source static analysis framework for the C language. In Frama-C, each static analysis technique, approach or idea can be implemented as a new plug-in, with the opportunity to obtain information from other plug-ins, and to leave the verification of difficult properties to yet other plug-ins. The new analysis may in turn provide access to the data it has computed. The value analysis of Frama-C is a plug-in based on abstract interpretation. It computes and stores supersets of possible values for all the variables at each statement of the analyzed program. It handles pointers, arrays, structs, and heterogeneous pointer casts. Besides producing supersets of possible values for the variables at each point of the execution, the value analysis produces run-time-error alarms. An alarm is emitted for each operation in the analyzed program where the value analysis cannot guarantee that there will not be a run-time error.
How it got here
How it got here
agent via openalex
Added
2026-10-28 22:04 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{canet2009value,
title = {A Value Analysis for C Programs},
author = {Géraud Canet and Pascal Cuoq and Benjamin Monate},
year = {2009},
journal = {IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)},
pages = {123--124},
doi = {10.1109/scam.2009.22},
}