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 | |