The firmware security analyzer https://github.com/e-m-b-a/emba