Utilities

Logging

manticore.utils.log.init_logging(handler: Optional[logging.Handler] = None) None

Initialize logging for Manticore, given a handler or by default use default_logger()

manticore.utils.log.get_manticore_logger_names() List[str]
manticore.utils.log.set_verbosity(setting: int) None

Set the global verbosity (0-5).

manticore.utils.log.default_handler() logging.Handler

Return a default Manticore logger with a nice formatter and filter.