Part 1 : Introduction

The cqa tool of the maqao program aims to statically analysed the binary produced by the compiler :

The documentation is at http://www.maqao.org/.