Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR - View it on GitHub