OTAWA

Machine Language Framework

OTAWA is mainly a framework dedicated to static analysis on machine language. Several tools and representations are provided with abstract interpretation engines.

Leave a Reply

Your e-mail address will not be published. Required fields are marked *