Module Libc_stubs

module Libc_stubs: sig .. end
Libcall stubs


Libcall stubs
module Atoi_call: LibCall 
  with type data_t = atoi_t
   and type pol_t = atoi_pol
Atoi stub
module Printf_call: LibCall 
  with type data_t = printf_t
   and type pol_t = printf_pol
Printf stub
module Malloc_call: LibCall 
  with type data_t = malloc_t
   and type pol_t = malloc_pol
Malloc stub
module Strcpy_call: LibCall 
  with type data_t = strcpy_t
   and type pol_t = strcpy_pol
module Generic_call: LibCall 
  with type data_t = generic_t
   and type pol_t = generic_pol
Generic stub
module Mmap_call: LibCall 
  with type data_t = mmap_t
   and type pol_t = mmap_pol
Mmap stub: Create new symbolic inputs
module Read_call: LibCall 
  with type data_t = read_t
   and type pol_t = read_pol
Read stub: Create new symbolic inputs
module Fread_call: LibCall 
  with type data_t = fread_t
   and type pol_t = fread_pol
Fread stub: Create new symbolic inputs
module Open_stub_call: LibCall 
  with type data_t = open_t
   and type pol_t = open_pol
Open stub
module Lseek_call: LibCall 
  with type data_t = lseek_t
     and type pol_t = lseek_pol
Lseek stub: stub of lseek
module Fscanf_call: LibCall 
  with type data_t = fscanf_t
   and type pol_t = fscanf_pol
Fscanf stub: Create new symbolic inputs (experimental)
module Free_call: LibCall 
  with type data_t = free_t
   and type pol_t = free_pol
Free stub
module Strchr_call: LibCall 
  with type data_t = strchr_t
   and type pol_t = strchr_pol
Strchr stub
module Strrchr_call: LibCall 
  with type data_t = strchr_t
   and type pol_t = strchr_pol
Strchr stub
module Strcmp_call: LibCall 
  with type data_t = strcmp_t
   and type pol_t = strcmp_pol
Strcmp stub
module Strncmp_call: LibCall 
  with type data_t = strncmp_t
   and type pol_t = strncmp_pol
Strncmp stub
module Memcmp_call: LibCall 
  with type data_t = memcmp_t
     and type pol_t = memcmp_pol
* Memcmp stub * * Pol: src: (addr: action, value: action); dst: (addr: action, value:action), ret: action * * Rules: All actions = logic * * Notes: compare elements up to the max of the concrete size of the two paramaters *
module Strncpy_call: LibCall 
  with type data_t = strncpy_t
   and type pol_t = strncpy_pol
module Ctype_b_loc_call: LibCall 
  with type data_t = ctype_b_loc_t
   and type pol_t = ctype_b_loc_pol
Ctype_b_loc stub
module Memcpy_call: LibCall 
  with type data_t = memcpy_t
   and type pol_t = memcpy_pol
module Realloc_call: LibCall 
  with type data_t = realloc_t
   and type pol_t = realloc_pol
Realloc stub
module Memset_call: LibCall 
  with type data_t = memset_t
   and type pol_t = memset_pol
Memset stub
module Fgetc_call: LibCall 
  with type data_t = fgetc_t
   and type pol_t = fgetc_pol
module Fstat_call: LibCall 
  with type data_t = fstat_t
   and type pol_t = fstat_pol
module Fxstat64_call: LibCall 
  with type data_t = fxstat64_t
     and type pol_t = fxstat64_pol
module Qsort_call: LibCall 
  with type data_t = qsort_t
   and type pol_t = qsort_pol
module Bsearch_call: LibCall 
  with type data_t = bsearch_t
   and type pol_t = bsearch_pol