dennis714

Eat this: https://web.cecs.pdx.edu/%7Eharry/Relay/

https://sat-smt.codes/SAT_SMT_by_example.pdf

See also: http://homebrewcpu.com/

The website with problems in reverse engineering: https://challenges.re/ Created in similar vein as PE.

Shameless plug about IEEE 754 round-off errors: https://yurichev.com/news/20210131_IEEE_754/

Second and third parts: https://yurichev.com/news/20210121_Knuth_Morris_Pratt_2/ https://yurichev.com/news/20210121_Knuth_Morris_Pratt_3/

This isn't even UD.

stricmp() (silently) behaves incorrectly returning MAX_INT. Isn't it a bug?

Yes. Explanation: https://yurichev.com/blog/UAL/

Yes. Explanation: https://yurichev.com/blog/UAL/

What about SMT vs. Prolog, do Prolog have more expressiveness?

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?

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... Github: https://github.com/veficos/reverse-engineering-for-beginners More information: http://v2ex.com/t/281403

Thanks, fixed.

Couple of other articles about Z3 which may be also interesting: http://yurichev.com/writings/z3_rockey.pdf http://blog.yurichev.com/node/86

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.

Well, it's possible to grep these files :) See also: https://github.com/dennis714/RE-for-beginners/blob/master/CO...

Here is also links to PDF files: http://yurichev.com/RE-book.html

It is looking like result of Hex-Rays decompiler.