Concolic tracing helper for angr. - View it on GitHub