I'm trying to match up call arguments with *_DEF's.
My aim is to build a taint analysis engine to track (along the code)
what variables are under user control (i.e. to track user input
variables obtained by means of functions along the code).
For example, in the case of an fgets, the first parame
I'd need some help to develop a function, for a new gcc pass,
located after the value range propagation pass.
I'm working on the last release of gcc 4.1.
I'd like to have a function that receiving a stmt (that is
a CALL_EXPR) and an index (to specify the position of the
argument), has to return,
