News for hackers. Stuff that matters.

A comment on Synthesizing optimal 8051 code with an SMT solver (2020). Parent comment

Re:Synthesizing optimal 8051 code with an SMT solver (2020) by rurban on Sunday December 11, 2022 @10:56AM (#33944243)
How wrote something here: https://savannah.gnu.org/forum/forum.php?forum_id=9203

to find struct layouts for a binary format. Reverse engineering DWG

[ Parent | on HN ]

There are no comments on this comment yet.