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…
Summary This first lecture presents the basic concepts of OTAWA as an example program. Other learnt topics include how to to do a Makefile to compile the program and an insight on an important concept of OTAWA: properties. First Steps…
This post and the following ones propose a training in OTAWA programming. They require a working installation of OTAWA and the ##otawa-config## utility to be accessible on the current execution path. This may be checked by typing the following in…