A tool for automated analysis of ctf type crypto challenges - View it on GitHub