Repositories list

• smtml

  Public
  An SMT solver frontend for OCaml

  ocamlwebassemblysymbolic-execution+ 7z3smtsmt-libalt-ergocvc5colibri2bitwuzla

  OCaml

  •

  MIT License

  •16•59•35•7•Updated Jan 15, 2026Jan 15, 2026

• opam-repository

  Public
  Formalsec's internal opam-repository

  0•0•0•0•Updated Dec 22, 2025Dec 22, 2025

• ECMA-SL-pub

  Public
  JavaScript

  •

  GNU General Public License v3.0

  •0•3•0•3•Updated Dec 15, 2025Dec 15, 2025

• .github

  Public
  0•0•0•0•Updated Dec 12, 2025Dec 12, 2025

• graphjs

  Public
  MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.

  javascriptstatic-analysisvulnerability-detection

  TypeScript

  •2•21•1•0•Updated Dec 10, 2025Dec 10, 2025

• symbolic-js-dataset

  Public
  Python

  •0•0•0•0•Updated Nov 28, 2025Nov 28, 2025

• formalsec.github.io

  Public
  HTML

  •0•0•0•0•Updated Nov 27, 2025Nov 27, 2025

• explode-js

  Public
  Automated Exploit Generation for Node.js Packages

  OCaml

  •

  MIT License

  •2•15•2•2•Updated Nov 24, 2025Nov 24, 2025

• whilloc

  Public
  A simple "while"-like programming language that includes memory allocation support.

  OCaml

  •

  GNU Affero General Public License v3.0

  •0•7•4•0•Updated Nov 21, 2025Nov 21, 2025

• explodejs-datasets

  Public
  JavaScript

  •0•0•0•0•Updated Nov 11, 2025Nov 11, 2025

• smt-datasets

  Public
  Smtlib benchmarks collected during symbolic analysis of the Collections-C testsuite

  SMT

  •0•1•0•0•Updated Oct 29, 2025Oct 29, 2025

• ocaml-cvc5

  Public
  OCaml bindings for the cvc5 SMT solver

  ocamlcvc5

  C++

  •

  MIT License

  •3•4•1•1•Updated Oct 3, 2025Oct 3, 2025

• ast-gen

  Public
  JavaScript

  •

  MIT License

  •0•2•0•0•Updated Jul 6, 2025Jul 6, 2025

• explode-js_ng

  Public
  Python

  •0•0•0•0•Updated Jun 9, 2025Jun 9, 2025

• test262

  Public
  JavaScript

  •0•0•0•0•Updated Feb 10, 2025Feb 10, 2025

• ecmasl-vim

  Public
  Vim Script

  •

  MIT License

  •0•0•3•0•Updated Dec 30, 2024Dec 30, 2024

• MemoryModels

  Public
  OCaml

  •1•2•0•0•Updated Oct 24, 2024Oct 24, 2024

• smt-comp

  Public
  SMT

  •0•1•0•0•Updated Oct 22, 2024Oct 22, 2024

• smt-testcomp23

  Public
  SMT

  •0•0•1•0•Updated Oct 22, 2024Oct 22, 2024

• vulcan-dataset

  Public
  A improved fork of the curated dataset used in the VulcaN study. Original repository: https://github.com/VulcaN-Study/Supplementary-Material

  JavaScript

  •

  Creative Commons Attribution Share Alike 4.0 International

  •1•2•2•0•Updated Sep 24, 2024Sep 24, 2024

• wasp

  Public
  WASP was superseded by: https://github.com/OCamlPro/owi

  ctestingwebassembly+ 2symbolic-executionprogram-analysis

  OCaml

  •

  MIT License

  •2•16•3•0•Updated Aug 28, 2024Aug 28, 2024

• wasp-private

  Public archive
  WebAssembly Symbolic Processor (WASP) private

  WebAssembly

  •

  Apache License 2.0

  •0•0•0•0•Updated Aug 22, 2024Aug 22, 2024

• instrumentation2

  Public archive
  It's now part of explode-js: https://github.com/formalsec/explode-js

  OCaml

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jul 16, 2024Jul 16, 2024

• encoding

  Public archive
  This project was renamed to Smt.ml (link below)

  OCaml

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 22, 2024Apr 22, 2024

• Test-Comp

  Public
  Test-Comp benchmarking scripts for wasp-c

  Python

  •2•0•0•0•Updated Mar 13, 2024Mar 13, 2024

• Collections-C

  Public
  Gillian's Collections-C Symbolic Test Suite in Wasm

  C

  •

  Other

  •1•0•0•0•Updated Feb 6, 2024Feb 6, 2024

• memory-models

  Public
  OCaml

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jan 15, 2024Jan 15, 2024

• waspc

  Public archive
  OWI's C frontend now in https://github.com/OCamlPro/owi/pull/100

  ocamlwasmsymbolic-execution+ 1owi

  C

  •

  Apache License 2.0

  •2•0•4•0•Updated Jan 5, 2024Jan 5, 2024

• aws-cryptosdk-c

  Public
  C

  •

  Apache License 2.0

  •0•0•0•0•Updated May 15, 2022May 15, 2022