Firmware Static Analysis with CodeChecker - EdgeBench