func: void disscussive_demanganization(char *hodoscope_undersweeping) jinx_rhagodia = ( ( char * ) ( ( char * ) hodoscope_undersweeping ) ); stonesoup_buff = ( ( char * ) ( malloc ( 30000 * sizeof ( char ) ) ) ); memset ( stonesoup_buff , 0 , 30000 ); stonesoup_to_unsign = stonesoup_get_int_value ( jinx_rhagodia ); short stonesoup_get_int_value(char *ss_tainted_buff) short to_short = 0 ; tainted_int = atoi ( ss_tainted_buff ); if ( tainted_int != 0 )  if ( tainted_int > 30000 )  tainted_int = 30000; if ( tainted_int < - 30000 )  tainted_int = - 30000; to_short = ( ( short ) tainted_int ); return to_short ; stonesoup_file = fopen ( "/opt/stonesoup/workspace/testData/myfile.txt" , "r" ); if ( stonesoup_file != 0 )  stonesoup_buff [ stonesoup_to_unsign ] = '\0'; stonesoup_printf ( "buff is %d long, and has contents: %s \n" , strlen ( stonesoup_buff ) , stonesoup_buff ); 