I haven't tried this, but I suspect a pointer analysis could help you obtain
a more general solution. Take a look at ptranal.ml in the cil src/ext/pta
directory. There will still be a lot of cases where this won't work though
(due, as Gabriel pointed out, to the undecidability of the problem in
g
I believe it would be something like
Cil.Instr([Cil.Call(None, Cil.Lval (Var v, NoOffset), [Const
Int64.zero], loc)]) ->
if v.name = "exit" then
...here we know we have an exit(0) statement...
That is, "exit(0)" is treated as a function call.
--Stephen
On Tue, Jul 14, 2009 at 4:36 AM, Tha
