DSAA HomeAssistant IoT LSH MinHash argparse available_expression_analysis binary c++ click command corpwechat datetime firmware ida idapython linux live_variable_analysis machine-learning matplotlib namedtuple overflow py2neo pydantic pypi python reaching_definition_analysis redis reverse scrapy security static_analysis symbolic_execution sys toc vxworks