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