func: void CWE416_Use_After_Free__return_freed_ptr_07_bad() if ( staticFive == 5 )  char * reversedString = helperBad ( "BadSink" ) ; static char * helperBad(char * aString) size_t j ; if ( aString != NULL )  i = strlen ( aString ); reversedString = ( char * ) malloc ( i + 1 ); for (j = 0; j < i; j++) reversedString [ j ] = aString [ i - j - 1 ]; reversedString [ i ] = '\0'; free ( reversedString ); 