Hi,
Your code might work on simple examples, but it will probably break on
real programms. Could you give a real example of what you are trying to
do? Don't you want to change the name of the function in it's
definition too? What if there are function pointers? All this can be
changed very easily, but you have to define precisely what you want.
If you wished to rename the function everywhere (definition, use, etc.),
then the following very simple code would be enough:
class testVisitor = object
inherit nopCilVisitor
method vvdec vi =
if List.mem vi.vname ["foo"; "bar"]
then vi.vname <- vi.vname ^ "_new"
(* No ChangeTo, imperative mutation *);
SkipChildren
end
Back to your code.
You should use the various methods of the cil visitor to make things
easier to read. Moreover, this would have let you spot the fact that you
do NOT dive into Block, If, and other statements. Therefore, you only
perform variable substitution in top-level instructions. You cut the
Instr statement to keep only the first element: what if the function you
are interested in is later in the call sequence? Check out List.map in
the OCaml doc, it might help you a lot. Using ChangeTo with statements
can be tricky, too: this potentially breaks gotos (read the CIL API
documentation, this is mentionned). One last thing: use richer patterns
in your match cases (see vinst below).
class testVisitor = object
inherit nopCilVisitor
method vinst i = match i with
| Call(None, Lval (Var lv, NoOffset), es,loc) ->
(* Do what you want here --- I do not understand exactly what you
want *)
let lv' = (* ... *) in
ChangeTo (Call(None, Lval (Var lv', NoOffset), es,loc))
| Call(None, _, _, _) ->
debug "don't know";
SkipChildren
| _ -> SkipChildren
method vstmt s = match s.skind with
| Instr [] -> SkipChildren (* this is useless, but I put it there to
show you a convenient way to remove
if/else in your code *)
| Instr l ->
debug "gh\n";
if s.sid = WHAT_I_WANT (* I'm not sure how you can figure out
which sid you want, but anyway... *)
then DoChildren
else SkipChildren
| _ -> DoChildren
end
Regards,
--
Gabriel
------------------------------------------------------------------------------
This SF.Net email is sponsored by the Verizon Developer Community
Take advantage of Verizon's best-in-class app development support
A streamlined, 14 day to market process makes app distribution fast and easy
Join now and get one step closer to millions of Verizon customers
http://p.sf.net/sfu/verizon-dev2dev
_______________________________________________
CIL-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users
