[nullifidian]

I think it's important to note that you can't use it commercially.

"The INRIA Non-Commercial License Agreement is a non-free license that grants you the right to use the CompCert verified compiler for educational, research or evaluation purposes only, but prohibits any commercial use.

For commercial use you need a Software Usage Agreement from AbsInt Angewandte Informatik GmbH."

[f1shy]

The name of the company is joke, for those who do bot know, it is read same as absinthe in german, where the company is.

[drdrey]

it's also short for Abstract Interpretation, right?