radius2 (cargo): a fast symbolic execution framework using r2
Keywords: symbolic|execution