--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on April 2011 ---
On 4/11/11, Julien Signoles <Julien.Signoles at cea.fr> wrote: > If you are using the value analysis plug-in, its specific limitations > and hypotheses are explained in Chapter 4 "Limitations and > Specificities" of the Value Analysis manual. As this chapter says > nothing special about function pointers, they are fully supported by > this plug-in. Although in another chapter, a limitation regarding function pointers is expressed in the following inscrutable manner : ___ Invalid function pointer access When the value analysis encounters a statement of the form (*e)(x); and is unable to guarantee that expression e evaluates to a valid function address, an alarm is emitted. For historical reasons, the implementation of this particular alarm category is not very consistent with the others. This will be fixed in a later version. ___ But to have mysterious limitations about functions pointers, you need to handle function pointers in the first place, so Julien's reasoning holds. Basically, it's impossible to organize this manual in a way such that people find what they are looking for (as demonstrated weekly by the questions in this mailing list), so the best solution is for everyone to learn it by heart. It's only 70 pages. Native English speakers' grammatical remarks that they might have in the process of doing so are also welcome.