zelos.config_gen module

zelos.config_gen.generate_config(binary_path: Optional[str], *cmdline_args: str, **kwargs: str)

Generates a config used to modify the analysis run by Zelos. The config uses the same options present in the command line flags.

Parameters
  • binary_path – Relative or absolute filepath to binary

  • cmdline_args – Command line arguments that will be passed to the binary.

  • kwargs – Additional options to specify corresponding to command line flags

Returns

Config that can be used to initialize Zelos.

zelos.config_gen.generate_parser()
zelos.config_gen.generate_config_from_cmdline(cmdline_string)