PCode2C: Steps Towards Translation Validation with Ghidra and CBMCphilipzucker.com2 pointsmatt_d2 years ago