Tools

• FirmHybridFuzz: A physical devices-agnostic hybrid fuzzing tool for IoT firmware.
• RegionFuzz: A vulnerable region-aware greybox fuzzing tool.
• Aflpro: A protocol state-aware greybox fuzzing tool.
• Vanguard: A static analysis framework to detect vulnerabilities caused by missing checks.
• ACSPChecker: A CSP model checking tool using answer set programming.