Grey-box Concolic Testing on Binary Code - View it on GitHub