萧枫's starred repositories
Awesome-CobaltStrike
List of Awesome CobaltStrike Resources
CobaltStrike-Toolset
Aggressor Script, Kits, Malleable C2 Profiles, External C2 and so on
1135-CobaltStrike-ToolKit
about CobaltStrike
Open-Windows-Exec-Check
Takes known Windows credentials to determine which services on which hosts can be used for RCE. Current Checks: RDP, SMBexec, PSexec, Task Schedule (atexec), DCOM, WMI
BloodHound
Six Degrees of Domain Admin
Red-Teaming-Toolkit
This repository contains cutting-edge open-source security tools (OST) for a red teamer and threat hunter.
penetration-suite-toolkit
本项目制作的初衷是帮助渗透新手快速搭建工作环境，工欲善其事，必先利其器。
xxl-crawler
A distributed web crawler framework.（分布式爬虫框架XXL-CRAWLER）
spider-flow
新一代爬虫平台，以图形化方式定义爬虫流程，不写代码即可完成爬虫。
XueQiuSuperSpider
雪球股票信息超级爬虫
crawler-framework
分布式爬虫框架,基于webdrvier模拟用户请求,kafka消息传递,分布式网页存储使用hbase,task异步任务多线程解析,提供基础服务如:proxy ip服务和号码验证服务等, proxy page使用H5和we版进行接入
NetDiscovery
NetDiscovery 是一款基于 Vert.x、RxJava 2 等框架实现的通用爬虫框架/中间件。
GNNSCVulDetector
Smart Contract Vulnerability Detection Using Graph Neural Networks (IJCAI-20 Accepted)
GraphDeeSmartContract
Smart contract vulnerability detection using graph neural network (DR-GCN).
Safe-SmartContracts
A Sequence Learning Approach to Detecting Vulnerabilities
smartcheck
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)