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…
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…