--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on March 2010 ---
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