Как реализовать символьный или конколический механизм выполнения для конкретного языка?
Я подумываю об использовании конколического исполнения для тестирования программ, написанных на определенном языке, таком как C. Я прочитал несколько статей, в которых вводятся основные концепции символьного и конколического исполнения. Но я не понимаю, с чего начать.
Итак, кто-нибудь может дать мне несколько советов по основам реализации символической или конколической казни? Какие материалы на конкретном языке мы должны знать, чтобы реализовать и спроектировать конколическое исполнение? Я хочу знать, как я могу шаг за шагом написать символический или конколический движок для конкретного языка. Благодарю.