Static program slicer used in Symbiotic tool

Maximal Divergence Sequential Autoencoder for Binary Software Vulnerability Detection

ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models

【重要通知：WebQQ将在2019年1月1日停止服务，此项目目前已停止维护，感谢大家四年来的一路陪伴】使用Perl语言（不会没关系）编写的smartqq/webqq客户端框架（非GUI），可通过插件提供基于HTTP协议的api接口供其他语言或系统调用