semgrep / pfff
pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.
☆185Updated last year
Related projects ⓘ
Alternatives and complementary repositories for pfff
- The Gillian Platform main repository☆78Updated this week
- Datalog with support for SMT queries and first-order functional programming☆155Updated 3 weeks ago
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆4Updated last week
- Property fuzzing for OCaml☆183Updated last year
- QuickCheck inspired property-based testing for OCaml.☆347Updated 4 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year
- An in-memory datalog implementation for OCaml.☆261Updated last month
- Automated generation of provably secure, zero-copy parsers from format specifications☆251Updated this week
- A static parser for POSIX Shell☆191Updated 11 months ago
- Hotcaml: an interpreter with watching and reloading☆142Updated 2 years ago
- A tool-agnostic formal specification language for OCaml.☆128Updated this week
- TLS in pure OCaml☆304Updated 3 weeks ago
- Parallel Programming over Domains☆172Updated 8 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆80Updated last month
- Lock-free data structures for multicore OCaml☆203Updated this week
- A modular sat/smt solver with proof output.☆97Updated 10 months ago
- Preprocessor / Pretty Printer for OCaml☆74Updated last month
- Lem semantic definition language☆130Updated 8 months ago
- Incremental Program Analysis Framework☆91Updated 3 years ago
- Static analysis framework for C☆184Updated this week
- Static types for JSON APIs☆316Updated 4 months ago
- An OCaml lexer generator for Unicode☆240Updated 3 weeks ago
- Streamlining the release of dune packages to opam☆114Updated 3 months ago
- Typed Regular Expressions☆171Updated 4 years ago
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆39Updated 4 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 3 years ago
- Execute code blocks inside your documentation☆269Updated 7 months ago
- Formal verification for OCaml☆255Updated 3 months ago
- OCaml debug adapter☆207Updated last week