VOOZH

URL: https://github.com/formalsec

⇱ Formal Security for Web Technologies · GitHub

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

smtml Public

An SMT solver frontend for OCaml

OCaml 77 16
graphjs Public

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

TypeScript 24 2
wasp Public

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

OCaml 16 2
whilloc Public

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

OCaml 7
ocaml-cvc5 Public

OCaml bindings for the cvc5 SMT solver

C++ 5 3

Repositories

Showing 10 of 32 repositories

smtml Public
An SMT solver frontend for OCaml

OCaml 77 MIT 16 40 6 Updated
webcap Public
WebCAP

Python 4 GPL-3.0 0 4 2 Updated
ecmasl-vim Public

C 0 MIT 0 3 0 Updated
images Public

Dockerfile 0 0 0 0 Updated
sigh Public
A notification tool to integrate into the team's slack

OCaml 0 0 0 0 Updated
formalsec.github.io Public

HTML 0 0 0 0 Updated
ocaml-cvc5 Public
OCaml bindings for the cvc5 SMT solver

C++ 5 MIT 3 1 (1 issue needs help) 1 Updated
smt-datasets Public
Smtlib benchmarks collected during symbolic analysis of the Collections-C testsuite

SMT 1 0 0 0 Updated
opam-repository Public
Formalsec's internal opam-repository

0 0 0 0 Updated
ECMA-SL-pub Public

JavaScript 3 GPL-3.0 0 0 3 Updated

View all repositories

People

👁 @filipeom
👁 @joaomhmpereira
👁 @franciscombaa

You can’t perform that action at this time.