Software by David Monniaux & friends.

Provided 'as is' with no warranty.