ChrisTheCoolHut / PinCTF Python 506 54 Using Intel's PIN tool to solve CTF problems ctf pin reverse-engineering instruction-counting