Shared Pharos options:
  [--verbose=NUMBER] [--timing] [--batch] [--allow-64bit]
  [--include-func=ADDRESS] [--exclude-func=ADDRESS]
  [--config=PHAROS_CONFIG_FILE] [--option KEY=VALUE]
  [--dump-config] [--no-user-file] [--no-site-file]
  [--apidb=APIDB_FILE] [--library=CONFIG_DIR]
  [--timeout=TIMEOUT] [--per-function-timeout=TIMEOUT]
  [--partitioner-timeout=TIMEOUT] [--maximum-memory=MEMSIZE]
  [--per-funtion-maximum-memory=MEMSIZE]
  [--maximum-instructions-per-block=NUMBER]
  [--maximum-iterations-per-function=NUMBER]
  [--imports=IMPORT_CONFIG_FILE] [--file=EXECUTABLE_FILE]
  [--serialize=SERIALIZED_FILE] [--ignore-serialize-version]
  [--partitioner={pharos,rose,superset}
  [--stockpart] [--no-semantics] [--pdebug]
  [--mark-executable] [--no-executable-entry]
  [--log=LOG_CONTROL_STRING]
