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 email address will not be published. Required fields are marked *

Leave the field below empty!