GitHub repository: Forkteam/Frama-C-snapshot
Description: Release snapshots of the Frama-C platform for source code analysis