Descrição
Represente e resolva restrições simbólicas para ferramentas de análise binária e raciocínio sobre programas. Ele oferece a softwares Python uma camada para construir expressões e perguntar a resolvedores subjacentes se certas condições são possíveis.
É usado principalmente por frameworks avançados de depuração, engenharia reversa e pesquisa em segurança. A resolução de restrições pode consumir muitos recursos, e a análise deve se limitar a softwares ou amostras que você tem permissão para inspecionar.