Virgil Integrated Concolic Engine