ИСТИНА

Программа позволяет определить семантику гаджетов возвратно-ориентированного программирования. Семантика гаджета определяется набором булевых постусловий (типов гаджета и их параметров), которые должны быть всегда истинны после выполнения гаджета. Классификация гаджета производится на основе анализа эффектов выполнения гаджета на случайных входных данных. Производится несколько запусков процесса интерпретации промежуточного представления гаджета с отличными входными данными. По начальным и конечным значениям регистров и памяти будут получены семантические типы гаджета и их параметры, а также информация о фрейме гаджета и список испорченных регистров во время выполнения.