text: /* TEMPLATE GENERATED TESTCASE FILE
  Filename: CWE761_Free_Pointer_Not_at_Start_of_Buffer__wchar_t_file_65b.c
  Label Definition File: CWE761_Free_Pointer_Not_at_Start_of_Buffer.label.xml
  Template File: source-sinks-65b.tmpl.c
  */
  /*
   * @description
   * CWE: 761 Free Pointer not at Start of Buffer
   * BadSource: file Read input from a file
   * Sinks:
   *    GoodSink: free() memory correctly at the start of the buffer
   *    BadSink : free() memory not at the start of the buffer
   * Flow Variant: 65 Data/control flow: data passed as an argument from one function to a function in a different source file called via a function pointer
   *
   * */
  
  #include "std_testcase.h"
  
  #include <wchar.h>
  
  #ifdef _WIN32
  #define FILENAME "C:\\temp\\file.txt"
  #else
  #define FILENAME "/tmp/file.txt"
  #endif
  
  #define SEARCH_CHAR L'S'
  
  #ifndef OMITBAD
  
  void CWE761_Free_Pointer_Not_at_Start_of_Buffer__wchar_t_file_65b_badSink(wchar_t * data)
  {
      /* FLAW: We are incrementing the pointer in the loop - this will cause us to free the
       * memory block not at the start of the buffer */
      for (; *data != L'\0'; data++)
      {
          if (*data == SEARCH_CHAR)
          {
              printLine("We have a match!");
              break;
          }
      }
      free(data);
  }
  
  #endif /* OMITBAD */
  
  #ifndef OMITGOOD
  
  /* goodB2G uses the BadSource with the GoodSink */
  void CWE761_Free_Pointer_Not_at_Start_of_Buffer__wchar_t_file_65b_goodB2GSink(wchar_t * data)
  {
      {
          size_t i;
          /* FIX: Use a loop variable to traverse through the string pointed to by data */
          for (i=0; i < wcslen(data); i++)
          {
              if (data[i] == SEARCH_CHAR)
              {
                  printLine("We have a match!");
                  break;
              }
          }
          free(data);
      }
  }
  
  #endif /* OMITGOOD */
  