aryx / yacfeLinks
Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on C source code.
☆25Updated 7 years ago
Alternatives and similar repositories for yacfe
Users that are interested in yacfe are comparing it to the libraries listed below
Sorting:
- A tool for testing C compilers automatically☆21Updated 10 years ago
- Universal instruction selection☆12Updated 7 years ago
- The MemCAD static analyzer☆27Updated 4 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 2 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated 2 years ago
- Generation of mutant programs☆20Updated 7 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- An overlay for the OCaml Z3 binding.☆35Updated 3 years ago
- ☆19Updated 8 years ago
- An OCaml library providing a C parser and lexer☆42Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆52Updated 6 months ago
- Ocamlgraph overlay for llvm☆20Updated 10 years ago
- Fully proved small C functions (examples for verification course).☆17Updated 8 years ago
- An abstract-interpretation-based static analysis for inferring refinement types☆16Updated 5 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 3 years ago
- A benchmark for C program verification☆17Updated last year
- OCaml library for manipulating context-free grammars☆20Updated 2 months ago
- An interactive tool for experimenting with LR(1) grammars☆20Updated 4 years ago
- Constraint solver based on abstract domains☆33Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆21Updated 9 years ago
- A random generator of Lua programs☆12Updated 4 years ago
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- Code Continuity Analysis Framework☆23Updated 11 months ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Updated 11 years ago
- OCaml bytecode to C compiler☆103Updated 5 years ago
- Linux kernel library functions formally verified.☆52Updated 3 weeks ago
- Bottom Up Rewrite Generator☆29Updated 8 years ago
- EGraphs in OCaml☆80Updated 2 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆209Updated last year