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: Guillaume.PETIOT at (PETIOT Guillaume)
  • Date: Tue, 10 Dec 2013 07:44:53 +0000
  • In-reply-to: <>
  • References: <>


You applied your transformation on the AST of project prj (called "transfer") when you did
                 Project.on prj transform()

but you call the Printer on the current project ("default"). So you have to replace the call to the Printer by something like
                Project.on prj (fun () ->
                   Format.printf "\n\nAfter transfering:\n%a" Printer.pp_file (Ast.get ())
                ) ()
So that the Ast.Get() will return the AST of project "transfer".

You can also print the AST by invoking frama-c like this: frama-c -load-script pfunc.c -then-on transfer -print

Guillaume Petiot, PhD student

From: frama-c-discuss-bounces at [frama-c-discuss-bounces at] on behalf of David Yang [abiao.yang at]
Sent: Tuesday, December 10, 2013 3:47 AM
To: Frama-C public discussion
Subject: [Frama-c-discuss] how to modify stmt in AST by using a visitor

Dear all,

Inspired by Virgile 's insert_stmt script in this mailing list:

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;

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 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,