GitHub repository: juxin-niu/CacheFixpoint
Primary language: Python
Created: 2023-02-17T00:14:18Z
Description: Tool for analyzing cache state using abstract interpretation and fixed-point algorithms.