Address-Aware Query Caching

An extension of standard query caching that can efficiently handle constraints that contain address expressions. For more details, read this paper: https://davidtr1037.github.io/files/icst_2021_final.pdf

Source Code

The source code is available here: https://github.com/davidtr1037/klee-aaqc.