Cache side chanels are an important class of implementation-level vulnerabilities in software. A cache-side-channel vulnerability exists if secret input to a program has a publicly observable effect on a cache (e.g., a cache that is shared between multiple virtual machines).
The tools CacheAudit 0.2b and CacheAudit 0.2c are extensions of the tool CacheAudit 0.2 (by Doychev, Köpf, Mauborgne, and Reinecke). Like the original CacheAudit 0.2, the goal of CacheAudit 0.2b and CacheAudit 0.2c is to compute upper bounds on the leakage of secret information through cache side channels.