Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by formalsec
A curated list of projects in awesome lists by formalsec .
https://github.com/formalsec/wasp
WASP moved to: https://github.com/OCamlPro/owi
c program-analysis symbolic-execution testing webassembly
Last synced: 07 Nov 2024
https://github.com/formalsec/smtml
A Multi Back-end Front-end for SMT Solvers in OCaml
ocaml smt-lib symbolic-execution z3
Last synced: 07 Nov 2024
https://github.com/formalsec/graphjs
MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.
javascript static-analysis vulnerability-detection
Last synced: 07 Nov 2024
https://github.com/formalsec/whilloc
A simple "while"-like programming language that includes memory allocation support.
Last synced: 07 Nov 2024
https://github.com/formalsec/vulcan-dataset
A improved fork of the curated dataset used in the VulcaN study. Original repository: https://github.com/VulcaN-Study/Supplementary-Material
Last synced: 27 Dec 2024
https://github.com/formalsec/ocaml-cvc5
OCaml bindings for the cvc5 SMT solver
Last synced: 18 Dec 2024
https://github.com/formalsec/test-comp
Test-Comp benchmarking scripts for wasp-c
Last synced: 27 Dec 2024
https://github.com/formalsec/collections-c
Gillian's Collections-C Symbolic Test Suite in Wasm
Last synced: 27 Dec 2024
https://github.com/formalsec/waspc
OWI's C frontend
ocaml owi symbolic-execution wasm
Last synced: 07 Nov 2024