But it sure is interesting to learn about all the tools that are out there thanks to various contests online including: Disassembler which let’s you know what’s in a binary. SWI Prolog. Many of these problems need a constraint solver. If you can believe it, people are still using Prolog to analyze constraints. Pomona has a […]