Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Newbie question on frama-c
  • From: Luong.Nguyen-Duy at Sun.COM (Luong Nguyen-Duy)
  • Date: Fri, 19 Mar 2010 12:59:44 -0700


I am in need of some static code analyzer.  I need a tool which can 
track variables def/use accross function

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 *)

Obviously I will need to track down all places which invoke function A, 
and make changes to those
local variables, and recursively if a function B calls function A and 
pass into A B's incoming argument I will
need to track down all invocation of B as well.  Example below:

int B () {

unint_8  j;    // NEED TO CATCH THIS


k = *j;


int C (unint_8 *k)



So the question is can I use frama-c to accomplish this?

Thanks much,


Luong Nguyen-Duy (luong.nguyen-duy at oracle.sun) - San Diego, CA, USA