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] how to modify stmt in AST by using a visitor

  • Subject: [Frama-c-discuss] how to modify stmt in AST by using a visitor
  • From: abiao.yang at gmail.com (David Yang)
  • Date: Tue, 10 Dec 2013 02:47:59 +0000
Dear all,

Inspired by Virgile 's insert_stmt script in this mailing list:
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2012-March/003141.html

I am writing a similar script to transform all call stmt of using
function pointer to a regular call stmt.

For example, in file "pfunc.c":
/* --------------pfunc.c--------------------- */
typedef int p_func (int *, int);

int main (p_func* func, int *arg1, int arg2)
{
  int result;

  result = (*func)(arg1, arg2);

  return result;
}
/*-------------end----------------*/

the func variable is a function pointer type. I want transform this
call to a regular call statement.

The command I used here is :
frama-c -load-script transfer.ml pfunc.c

You could download this two files and then run these script directly
as long as you has frama-c in your computer.

Attached please find these two files for this command.

But the ast file is not changed by this script.

Is there anybody could help me fixing this problem?
Thank you very much.

PS: The frama-c version I used here is: Fluorine-20130601

All the best,
-david
-------------- next part --------------
A non-text attachment was scrubbed...
Name: transfer.ml
Type: application/octet-stream
Size: 1807 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131210/2797b786/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pfunc.c
Type: text/x-csrc
Size: 158 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131210/2797b786/attachment.c>