movec. Movec: A Tool for the Monitoring and Verification of C Programs
movec-msbench. Movec-MSBench: A Memory Safety Benchmark Suite
