OTAWA

instruction

GLISS
GLISS

GLISS

GLISS stands for Generator of Instruction Set Simulator. Although OTAWA does not really perform simulation, it re-uses lots of features of GLISS (like instruction decoding, disassembling, etc) and its ADL (Architecture Description Language) to decode programs in binary form. You…

Properties, Features and Instructions
Properties, Features and Instructions

Properties, Features and Instructions

Summary This lecture presents basics of OTAWA programming: features allows to require already implemented services that are represented by properties hooked to the program representation.Properties may also be used to alleviate implementation of program analyses. In the end, this applied…