lambda-mountain icon indicating copy to clipboard operation
lambda-mountain copied to clipboard

Published 20 hours ago • verified publisher icon andrew-johnson-4

Disassemble with annotations gnu assembly

Open andrew-johnson-4 opened this issue 1 year ago • 0 comments

It might be nice to distribute binary objects with separate proof annotations not in the same file. objdump can be used to disassemble and then annotations can be inserted.

andrew-johnson-4 avatar Aug 27 '24 02:08 andrew-johnson-4