Monotone (DFA) Framework in BinaryNinja for vulnerability detection - View it on GitHub