Program Analysis 1 Program analysis & Synthesis Lecture 10 – Synthesis from Examples Eran Yahav Previously Abstraction-Guided Synthesis changing the program to match…