Downloads

Name Date Description Link

AAL 2008-10-26 Alias Analysis Library, including a small usage example Link
AAProver 2008-10-27 Theorem prover library for bit vector logic, based on MiniSAT (including example code) Link
Thesis 2008-10-19 Complete Master's Thesis describing primarily background, design, and implementation of AAL. Link