Lines Matching full:instrumentation
463 /*--- Instrumentation ---*/
469 It also needs to generate instrumentation for the sg_ side of
474 abstractify the sg_ instrumentation. See comments in sg_main.c's
475 instrumentation section for further details. */
505 /* Carries around state during Ptrcheck instrumentation. */
518 during the instrumentation process, the valid indices for
526 instrumentation process.
656 of this instrumentation section for details. The two parameters
673 /* Iterate over the remaining stmts to generate instrumentation. */
681 /* generate sg_ instrumentation for this stmt */
688 /* generate sg_ instrumentation for the final jump */
