A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats - View it on GitHub