gpetiot/Frama-C-Mutation gpetiot/Frama-C-Mutation

  • This repository has been archived on 30/Jan/2023
  • Stars
    star
    21
  • Rank 1,084,038 (Top 22 %)
  • Language
    OCaml
  • Created almost 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gpetiot/Frama-C-Mutation
github

gpetiot

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Generation of mutant programs

More Repositories

1

Frama-C-StaDy

Static & Dynamic Verification of C programs
OCaml
9
star
2

mirage-shell

Basic shell built on top of Mirage (experimental! do not use!)
OCaml
7
star
3

ocaml-weather

An OCaml library to access current weather data from OpenWeather
OCaml
3
star
4

ocamlformat-preview

OCamlFormat in the browser
JavaScript
3
star
5

Frama-C-Inline

Inlining of ACSL predicates and logic functions
OCaml
3
star
6

ocamlformat-mdx-blocks

OCaml
2
star
7

sexp-parse

S-expression parsing library (without base dependency)
OCaml
2
star
8

phd-thesis

Sources of my PhD thesis "Contribution à la vérification de programmes C par combinaison de tests et de preuves" (in french)
TeX
1
star
9

StaDy

Programs used for benchmarking the StaDy plugin for Frama-C
C
1
star