This repository stores some of the core components of the Sireum software analysis platform.