Katana - Automatic CTF Challenge Solver in Python3 - View it on GitHub