func: static int stonesoup_ev_handler(struct mg_connection *conn, enum mg_event ev) char * ifmatch_header ; char * stonesoup_tainted_buff ; int buffer_size = 1000 ; if ( ev == MG_REQUEST )  ifmatch_header = ( char * ) mg_get_header ( conn , "if-match" ); if ( strcmp ( ifmatch_header , "weak_taint_source_value" ) == 0 )  while ( 1 )  stonesoup_tainted_buff = ( char * ) malloc ( buffer_size * sizeof ( char ) ); data_size = mg_get_var ( conn , "data" , stonesoup_tainted_buff , buffer_size * sizeof ( char ) ); if ( data_size < buffer_size )  buffer_size = buffer_size * 2; stonesoup_handle_taint ( stonesoup_tainted_buff ); void stonesoup_handle_taint(char *sonoric_tatou) int exporter_whatsoever = 7 ; if ( sonoric_tatou != 0 )  spithame_aborting ( exporter_whatsoever , sonoric_tatou ); void spithame_aborting(int epizoites_metrorrhagia,char *quodlibetal_reflexly) epizoites_metrorrhagia --; if ( epizoites_metrorrhagia > 0 )  stonesoup_input_string = ( signed char * ) getenv ( "INPUT_STRING" ); stonesoup_data = ( struct stonesoup_struct * ) malloc ( sizeof ( struct stonesoup_struct ) ); if ( stonesoup_data != NULL )  if ( stonesoup_input_string != 0 )  memset ( stonesoup_data -> buffer , 0 , 128 ); stonesoup_data -> before [ stonesoup_i ] = 5555; stonesoup_data -> after [ stonesoup_i ] = 5555; for (stonesoup_i = 0; stonesoup_i < strlen((char *) stonesoup_input_string); ++stonesoup_i) if ( stonesoup_input_string [ stonesoup_i ] < 0 )  ++ stonesoup_data -> buffer [ stonesoup_input_string [ stonesoup_i ] ]; for (stonesoup_i = 0; stonesoup_i < strlen(deliquiesce_hatchetman); ++stonesoup_i) stonesoup_printf ( "value %c appears: %d times\n" , deliquiesce_hatchetman [ stonesoup_i ] , stonesoup_data -> buffer [ ( int ) deliquiesce_hatchetman [ stonesoup_i ] ] ); void stonesoup_printf(char * format, ...) va_start ( argptr , format ); mg_vprintf_data ( ( struct mg_connection * ) stonesoup_printf_context , format , argptr ); tracepoint ( stonesoup_trace , variable_signed_integral , "((int) STONESOUP_TAINT_SOURCE[stonesoup_i])" , ( ( int ) deliquiesce_hatchetman [ stonesoup_i ] ) , & ( deliquiesce_hatchetman [ stonesoup_i ] ) , "TRIGGER-STATE" ); free ( stonesoup_data ); 