Iago Abal's repositories
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
haskell-bv
Bit-vector arithmetic library for Haskell
2017-vmcai
Submission to VMCAI 2017.
darcs-alloy
Specification of Darcs' Patch Theory Kernel in Alloy
abc-papers
Collection of good papers.
bench-c-stdl
A benchmark of single-thread double lock bugs.
coccinelle
Source code of the Coccinelle project
iagoabal.github.io
Iago's website
parmap
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
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.
schemastore
A collection of JSON schema files including full API
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
semgrep-docs
Documentation of Semgrep: a fast, open-source, static analysis tool.
semgrep-rules
Semgrep rules registry