EMBArk - The firmware security scanning environment - View it on GitHub