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 __init on Saturday December 10, 2022 @04:29PM (#33937010)
Check out angr [1], a symbolic execution engine, and claripy [2], its frontend to SMT solvers like z3. Depending on your background, I probably wouldn't describe angr as "for newbies," but claripy is a very clean SMT interface!

[1] https://angr.io

[2] https://api.angr.io/claripy.html

[ Parent | on HN ]

There are no comments on this comment yet.