--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on March 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Newbie question on frama-c



Hello,

> I am in need of some static code analyzer. ?I need a tool which can track
> variables def/use accross function
> boundary.
>
> Following is a description of my problem:
>
> I have a function A in which one of the incoming argument is declared as
> (uint8_t *). ? Function A will assign values to this incoming argument:
>
> int A (uint_8 *i) { ? *i = 255 };
>
> now I need to change it to (uint32_t *)

Although it is intended to track the impact of a statement, and not of
a variable declaration, the impact analysis may be able to help you:

http://frama-c.com/impact.html

It handles function calls.

Pascal