News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused. Parent comment

Re:Modern SAT solvers: fast, neat and underused by im3w1l on Sunday May 19, 2019 @06:17PM (#19955888)
That's really neat, do you have a writeup?
[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused by ZephyrP on Sunday May 19, 2019 @06:31PM (#19955959)
This is a description of what lead to it: https://www.reddit.com/r/ReverseEngineering/comments/5h23u3/...

If you want more information about the vulnerability and mechanisms of exploiting it, project members assigned it CVE-2016-10253 .

[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused by im3w1l on Sunday May 19, 2019 @07:04PM (#19956138)
What I really want is scanning my own codebase for problems.
[ Parent | on HN ]