dennis714

13 ms·

1. 61.▲
   by dennis714 9y ago

   IMHO, SAT/SMT solvers does mostly the same, so why would you designate separate PL for this task, when you use these tools or libraries?
2. 62.▲
   Quick introduction into SAT/SMT solvers and symbolic execution [pdf](yurichev.com)

   5 points by dennis714 9y ago|0 comments
3. 63.▲
   by dennis714 10y ago

   There is also partial translation to Chinese: HTML: http://beginners.re/RE4B-CN-partial/html/RE4B-CN-partial.htm... epub: http://beginners.re/RE4B-CN-partial/epub/RE4B-CN-partial.epu...
4. 64.▲
   by dennis714 11y ago

   Thanks, fixed.
5. 65.▲
   by dennis714 11y ago

   Couple of other articles about Z3 which may be also interesting: http://yurichev.com/writings/z3_rockey.pdf http://blog.yurichev.com/node/86
6. 66.▲
   by dennis714 12y ago

   Yes, I'll signup with service like lulu.com in future, for those who want hardback, when I'll feel I finish the thing, maybe 1-2 years later.
7. 67.▲
   by dennis714 12y ago

   Well, it's possible to grep these files :) See also: https://github.com/dennis714/RE-for-beginners/blob/master/CO...
8. 68.▲
   by dennis714 12y ago

   Here is also links to PDF files: http://yurichev.com/RE-book.html
9. 69.▲
   by dennis714 15y ago

   It is looking like result of Hex-Rays decompiler.