This contains the abstract interpretation framework ai.h and several static analyses that instantiate it.
ai.h
FIXME: put here a good introduction describing what is contained in this folder.