#include "common_harness_generator_options.h"

Include dependency graph for memory_snapshot_harness_generator_options.h:

This graph shows which files directly or indirectly include this file:

Macros
#define	MEMORY_SNAPSHOT_HARNESS_SNAPSHOT_OPT "memory-snapshot"

#define	MEMORY_SNAPSHOT_HARNESS_INITIAL_GOTO_LOC_OPT "initial-goto-location"

#define	MEMORY_SNAPSHOT_HARNESS_INITIAL_SOURCE_LOC_OPT "initial-source-location"

#define	MEMORY_SNAPSHOT_HARNESS_HAVOC_VARIABLES_OPT "havoc-variables"

#define	MEMORY_SNAPSHOT_HARNESS_TREAT_POINTER_AS_ARRAY_OPT "pointer-as-array"

#define	MEMORY_SNAPSHOT_HARNESS_ASSOCIATED_ARRAY_SIZE_OPT "size-of-array"

#define	MEMORY_SNAPSHOT_HARNESS_GENERATOR_OPTIONS

#define	MEMORY_SNAPSHOT_HARNESS_GENERATOR_HELP

Macro Definition Documentation

◆ MEMORY_SNAPSHOT_HARNESS_ASSOCIATED_ARRAY_SIZE_OPT

#define MEMORY_SNAPSHOT_HARNESS_ASSOCIATED_ARRAY_SIZE_OPT "size-of-array"

Definition at line 19 of file memory_snapshot_harness_generator_options.h.

◆ MEMORY_SNAPSHOT_HARNESS_GENERATOR_HELP

#define MEMORY_SNAPSHOT_HARNESS_GENERATOR_HELP

Value:

  "memory snapshot harness generator ({y--harness-type}\n"                     \
  "  {yinitialize-with-memory-snapshot}):\n"                                   \
  " {y--" MEMORY_SNAPSHOT_HARNESS_SNAPSHOT_OPT                                 \
  "} {ufile} \t "                                                              \
  "initialize memory from JSON memory snapshot\n"                              \
  " {y--" MEMORY_SNAPSHOT_HARNESS_INITIAL_GOTO_LOC_OPT                         \
  "} {ufunc}[{y:}{un}] "                                                       \
  "\t "                                                                        \
  "use given function and location number as entry point\n"                    \
  " {y--" MEMORY_SNAPSHOT_HARNESS_INITIAL_SOURCE_LOC_OPT                       \
  "} {ufile}{y:}{un} "                                                         \
  "\t "                                                                        \
  "use given file name and line number as entry point\n"                       \
  " {y--" MEMORY_SNAPSHOT_HARNESS_HAVOC_VARIABLES_OPT                          \
  "} {uvars} \t "                                                              \
  "initialize variables from {uvars} to non-deterministic "                    \
  "values\n" COMMON_HARNESS_GENERATOR_HELP                                     \
  " {y--" MEMORY_SNAPSHOT_HARNESS_TREAT_POINTER_AS_ARRAY_OPT                   \
  "} {up} \t "                                                                 \
  "treat the global pointer with the name {up} as an array\n"                  \
  " {y--" MEMORY_SNAPSHOT_HARNESS_ASSOCIATED_ARRAY_SIZE_OPT                    \
  "} "                                                                         \
  "{uarray_name}{y:}{usize_name} \t "                                          \
  "set the parameter {usize_name} to the size of the array {uarray_name} "     \
  "(implies "                                                                  \
  "{y-- " MEMORY_SNAPSHOT_HARNESS_TREAT_POINTER_AS_ARRAY_OPT                   \
  "} "                                                                         \
  "{uarray_name})\n"

Definition at line 34 of file memory_snapshot_harness_generator_options.h.

◆ MEMORY_SNAPSHOT_HARNESS_GENERATOR_OPTIONS

#define MEMORY_SNAPSHOT_HARNESS_GENERATOR_OPTIONS

Value:

  "(" MEMORY_SNAPSHOT_HARNESS_SNAPSHOT_OPT                                     \
  "):"                                                                         \
  "(" MEMORY_SNAPSHOT_HARNESS_INITIAL_GOTO_LOC_OPT                             \
  "):"                                                                         \
  "(" MEMORY_SNAPSHOT_HARNESS_INITIAL_SOURCE_LOC_OPT                           \
  "):"                                                                         \
  "(" MEMORY_SNAPSHOT_HARNESS_HAVOC_VARIABLES_OPT                              \
  "):"                                                                         \
  "(" MEMORY_SNAPSHOT_HARNESS_TREAT_POINTER_AS_ARRAY_OPT                       \
  "):"                                                                         \
  "(" MEMORY_SNAPSHOT_HARNESS_ASSOCIATED_ARRAY_SIZE_OPT "):"