IagoAbal/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Static analysis and formal software verification.
Repositories
IagoAbal/benchmark-Activiti
Activiti is a light-weight workflow and Business Process Management (BPM) Platform targeted at business people, developers and system admins. Its core is a super-fast and rock-solid BPMN 2 process engine for Java.
IagoAbal/eba
EBA is a static bug finder for C.
IagoAbal/abc-papers
Collection of good papers.
IagoAbal/2017-vmcai
Submission to VMCAI 2017.
IagoAbal/haskell-bv
Bit-vector arithmetic library for Haskell
IagoAbal/parmap
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
IagoAbal/schemastore
A collection of JSON schema files including full API
IagoAbal/eba-cil
Latest CIL development version with EBA-specific additions.
IagoAbal/semgrep-rules
Semgrep rules registry
IagoAbal/semgrep-docs
Documentation of Semgrep: a fast, open-source, static analysis tool.
IagoAbal/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
IagoAbal/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.
IagoAbal/hsc
IagoAbal/toy
IagoAbal/timestamp
Timestamp stuff
IagoAbal/darcs-alloy
Specification of Darcs' Patch Theory Kernel in Alloy
IagoAbal/stackage
"Stable Hackage": vetted consistent packages from Hackage
IagoAbal/gitman
Language-agnostic dependency manager using Git.
IagoAbal/dl
IagoAbal/iagoabal.github.io
Iago's website
IagoAbal/bench-c-stdl
A benchmark of single-thread double lock bugs.
IagoAbal/linux
Linux kernel source tree
IagoAbal/coccinelle
Source code of the Coccinelle project
IagoAbal/cil
C Intermediate Language