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

Macros
#define	COMMON_HARNESS_GENERATOR_MIN_NULL_TREE_DEPTH_OPT "min-null-tree-depth"

#define	COMMON_HARNESS_GENERATOR_MAX_NONDET_TREE_DEPTH_OPT "max-nondet-tree-depth"

#define	COMMON_HARNESS_GENERATOR_MIN_ARRAY_SIZE_OPT "min-array-size"

#define	COMMON_HARNESS_GENERATOR_MAX_ARRAY_SIZE_OPT "max-array-size"

#define	COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT "function-pointer-can-be-null"

#define	COMMON_HARNESS_GENERATOR_HAVOC_MEMBER_OPT "havoc-member"

#define	COMMON_HARNESS_GENERATOR_OPTIONS

#define	COMMON_HARNESS_GENERATOR_HELP

Macro Definition Documentation

◆ COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT

#define COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT "function-pointer-can-be-null"

Definition at line 17 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_HAVOC_MEMBER_OPT

#define COMMON_HARNESS_GENERATOR_HAVOC_MEMBER_OPT "havoc-member"

Definition at line 19 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_HELP

#define COMMON_HARNESS_GENERATOR_HELP

Value:

  " {y--" COMMON_HARNESS_GENERATOR_MIN_NULL_TREE_DEPTH_OPT                     \
  "} {uN} \t "                                                                 \
  "minimum level at which a pointer can first be NULL in a recursively "       \
  "nondet initialized struct\n"                                                \
  " {y--" COMMON_HARNESS_GENERATOR_MAX_NONDET_TREE_DEPTH_OPT                   \
  "} {uN} \t "                                                                 \
  "limit size of nondet (e.g. input) object tree; at level {uN} pointers "     \
  "are set to null\n"                                                          \
  " {y--" COMMON_HARNESS_GENERATOR_MIN_ARRAY_SIZE_OPT                          \
  "} {uN} \t "                                                                 \
  "minimum size of dynamically created arrays (default: 1)\n"                  \
  " {y--" COMMON_HARNESS_GENERATOR_MAX_ARRAY_SIZE_OPT                          \
  "} {uN} \t "                                                                 \
  "maximum size of dynamically created arrays (default: 2)\n"                  \
  " {y--" COMMON_HARNESS_GENERATOR_FUNCTION_POINTER_CAN_BE_NULL_OPT            \
  "} "                                                                         \
  "{ufunction_name} \t "                                                       \
  "name of the function(s) pointer parameters that can be NULL "               \
  "pointing\n"                                                                 \
  " {y--" COMMON_HARNESS_GENERATOR_HAVOC_MEMBER_OPT                            \
  "} {umember_expr} \t "                                                       \
  "path to the member to be havocked\n"

Definition at line 34 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_MAX_ARRAY_SIZE_OPT

#define COMMON_HARNESS_GENERATOR_MAX_ARRAY_SIZE_OPT "max-array-size"

Definition at line 16 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_MAX_NONDET_TREE_DEPTH_OPT

#define COMMON_HARNESS_GENERATOR_MAX_NONDET_TREE_DEPTH_OPT "max-nondet-tree-depth"

Definition at line 13 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_MIN_ARRAY_SIZE_OPT

#define COMMON_HARNESS_GENERATOR_MIN_ARRAY_SIZE_OPT "min-array-size"

Definition at line 15 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_MIN_NULL_TREE_DEPTH_OPT

#define COMMON_HARNESS_GENERATOR_MIN_NULL_TREE_DEPTH_OPT "min-null-tree-depth"

Definition at line 12 of file common_harness_generator_options.h.

◆ COMMON_HARNESS_GENERATOR_OPTIONS

#define COMMON_HARNESS_GENERATOR_OPTIONS