Skip to content
@formalsec

Formal Security for Web Technologies

Research Group
README.md

Welcome to Formalsec!

Formalsec is dedicated to enhancing system security through the power of formal methods, connecting rigorous research with real-world cybersecurity challenges.

Pinned Loading

  1. smtml smtml Public

    An SMT solver frontend for OCaml

    OCaml 31 8

  2. wasp wasp Public

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

    OCaml 14 1

  3. graphjs graphjs Public

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

    TypeScript 11 1

  4. ECMA-SL ECMA-SL Public

    ECMAScript Specification Language, a new framework for creating dynamic analyses for JavaScript.

    JavaScript 6 1

  5. whilloc whilloc Public

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

    OCaml 7

  6. ocaml-cvc5 ocaml-cvc5 Public

    OCaml bindings for the cvc5 SMT solver

    OCaml 3 1

Repositories

Showing 10 of 26 repositories
  • smtml Public

    An SMT solver frontend for OCaml

    formalsec/smtml’s past year of commit activity
    OCaml 31 MIT 8 15 (3 issues need help) 1 Updated Feb 24, 2025
  • ECMA-SL Public

    ECMAScript Specification Language, a new framework for creating dynamic analyses for JavaScript.

    formalsec/ECMA-SL’s past year of commit activity
    JavaScript 6 GPL-3.0 1 14 (1 issue needs help) 0 Updated Feb 20, 2025
  • ast-gen Public
    formalsec/ast-gen’s past year of commit activity
    JavaScript 2 MIT 0 0 0 Updated Feb 20, 2025
  • test262 Public
    formalsec/test262’s past year of commit activity
    JavaScript 0 0 0 0 Updated Feb 10, 2025
  • ecmasl-vim Public
    formalsec/ecmasl-vim’s past year of commit activity
    Vim Script 0 MIT 0 3 0 Updated Dec 30, 2024
  • .github Public
    formalsec/.github’s past year of commit activity
    0 0 0 0 Updated Dec 26, 2024
  • explodejs-datasets Public
    formalsec/explodejs-datasets’s past year of commit activity
    JavaScript 0 0 0 0 Updated Dec 18, 2024
  • graphjs Public

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

    formalsec/graphjs’s past year of commit activity
    TypeScript 11 1 0 0 Updated Dec 17, 2024
  • MemoryModels Public
    formalsec/MemoryModels’s past year of commit activity
    OCaml 2 0 0 0 Updated Oct 24, 2024
  • ocaml-cvc5 Public

    OCaml bindings for the cvc5 SMT solver

    formalsec/ocaml-cvc5’s past year of commit activity
    OCaml 3 GPL-3.0 1 2 (1 issue needs help) 0 Updated Oct 23, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…