Open NaC-L opened 3 weeks ago
https://github.com/NaC-L/Mergen/blob/main/lifter/Semantics.cpp#L9 https://github.com/NaC-L/Mergen/blob/main/lifter/Semantics.cpp#L702
should just convert inttoptr and then call it
https://github.com/NaC-L/Mergen/blob/main/lifter/Semantics.cpp#L9 https://github.com/NaC-L/Mergen/blob/main/lifter/Semantics.cpp#L702
should just convert inttoptr and then call it