An Efficient Platform for the Automatic Extraction of Patterns in Native Code

Algorithm 2

Instrumentation rule for return statements.

Function return_instrumentation⁢(program)

 for all    in    do

   if  stmt  is  type _return  id _func((type _arg id _arg) )   then

    for all  in  do

      if  stmt  is  return    then

       _ _RETURN_id _func__ _:

      end if

    end for

   end if

 end for

end