4 ms·
I would love to see more practical applications of SMT, particularly as intros to newbies.
by mynameisash 4y ago
I would love to see more practical applications of SMT, particularly as intros to newbies.
- rurban 4y agoHow wrote something here: https://savannah.gnu.org/forum/forum.php?forum_id=9203 https://savannah.gnu.org/forum/forum.php?forum_id=9203 to find struct layouts for a binary format. Reverse engineering DWG
- c0742e9366 4y agoThe (freely available) book "SAT/SMT by Example" [1] shows how a lot of different problems can be tackled with an SMT solver. I highly recommend it! [1] https://sat-smt.codes/ https://sat-smt.codes/
- __init 4y agoCheck 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 https://angr.io [2] https://api.angr.io/claripy.html https://api.angr.io/claripy.html