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

Algorithm 3

Instrumentation rule for procedures.

Function procedure_instrumentation⁢(program)

 for all    in    do

  if    is    (( ) )  

       and   = void  then

   ; _ _RETURN___ _: return;

    + 1

  end if

 end for

end