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.