GitHub repository: BugmakerCC/trapKiller
Description: smart contract checker