3 ms·
Feed llvm bytecode through Z3 and hope you didn't implement something with cryptographic behaviour.
by namibj 8y ago
Feed llvm bytecode through Z3 and hope you didn't implement something with cryptographic behaviour.
- fao_ 8y agoCould you give some advice or pointers on this?
- namibj 8y agoThis should get you going. Come back if you get stuck. https://twitter.com/whitequark/status/915211914443153409 https://twitter.com/whitequark/status/915211914443153409 Edit: sorry, I just don't have the time to get you the details.