Triton: Pin-based concolic execution framework for automated reverse engineeringgithub.com/JonathanSalwan10 pointskylequest11 years ago