warnings.log

provenance_basic_malloc_offset-4.c:4:[kernel] warning: all target addresses were invalid. This path is assumed to be dead.
stack: main
provenance_basic_malloc_offset-4.c:5:[kernel] warning: all target addresses were invalid. This path is assumed to be dead.
stack: main
provenance_basic_malloc_offset-4.c:8:[eva:garbled-mix] warning: The specification of function printf_va_1 has generated a garbled mix for assigns clause __fc_stdout->__fc_FILE_data.
provenance_basic_malloc_offset-4.c:11:[kernel] warning: all target addresses were invalid. This path is assumed to be dead.
stack: main
[eva:garbled-mix] warning: Garbled mix generated during analysis:
{{ garbled mix of &{__malloc_main_l2}
  (origin: Misaligned {provenance_basic_malloc_offset-4.c:10}) }}
{{ garbled mix of &{__malloc_main_l3}
  (origin: Misaligned {provenance_basic_malloc_offset-4.c:10}) }}