A binary static analysis tool that provides security and correctness results for Windows portable executables. - View it on GitHub