cprover
analyses

Folder analyses

This contains the abstract interpretation framework ai.h and several static analyses that instantiate it.

FIXME: put here a good introduction describing what is contained in this folder.