&gt;Honestly, do we really need another static analysis tool?<p>Definitely. IDA Pro is proprietary software and the possibilities of IDAPython are limited. IDA Pro mostly ignores the last two decades of research done in the field of binary program analysis. It still relies on pattern matching compilers instead of using semantics driven methods that have been around for &gt;10ys. While there exist tools like BAP, BitBlaze, Jackstab and Bindead. They are not really usable for people w&#x2F;o graduate student level understanding of program analysis. This is where Panopticon fits in.