Program Synthesis in Reverse Engineering

[RubberDuck]

Program synthesis is an academic discipline devoted to creating computer programs automatically, given a precise specification of how the program should operate.  It works on small scales and is mostly researched for programs without loops in them.  We apply and adapt existing academic work in program synthesis to solve problems in reverse engineering.

http://www.msreverseengineering.com/blog/2014/12/12/program-synthesis-in-reverse-engineering

A něco málo teorie.

http://research.microsoft.com/en-us/um/people/sumitg/pubs/ppdp10-synthesis.pdf