IagoAbal

Static analysis and formal software verification.

EU

Pinned Repositories

2017-vmcai
Submission to VMCAI 2017.
Language:C2 2 01
abc-papers
Collection of good papers.
Language:Verilog0 2 00
bench-c-stdl
A benchmark of single-thread double lock bugs.
Language:C0 1 00
cil
C Intermediate Language
Language:OCaml0 1 00
coccinelle
Source code of the Coccinelle project
Language:OCaml0 1 00
darcs-alloy
Specification of Darcs' Patch Theory Kernel in Alloy
Language:Alloy1 1 00
dl
0 1 00
eba
EBA is a static bug finder for C.
Language:OCaml14 4 23
haskell-bv
Bit-vector arithmetic library for Haskell
Language:Haskell4 3 56
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Language:Haskell57 4 3245

IagoAbal's Repositories

IagoAbal/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Language:Haskell57 4 3245
IagoAbal/eba
EBA is a static bug finder for C.
Language:OCaml14 4 23
IagoAbal/haskell-bv
Bit-vector arithmetic library for Haskell
Language:Haskell4 3 56
IagoAbal/2017-vmcai
Submission to VMCAI 2017.
Language:C2 2 01
IagoAbal/darcs-alloy
Specification of Darcs' Patch Theory Kernel in Alloy
Language:Alloy1 1 00
IagoAbal/abc-papers
Collection of good papers.
Language:Verilog0 2 00
IagoAbal/bench-c-stdl
A benchmark of single-thread double lock bugs.
Language:C0 1 00
IagoAbal/cil
C Intermediate Language
Language:OCaml0 1 00
IagoAbal/coccinelle
Source code of the Coccinelle project
Language:OCaml0 1 00
IagoAbal/dl
0 1 00
IagoAbal/eba-cil
Latest CIL development version with EBA-specific additions.
Language:OCaml1 02
IagoAbal/gitman
Language-agnostic dependency manager using Git.
Language:Python1 0
IagoAbal/hsc
Language:Haskell
IagoAbal/iagoabal.github.io
Iago's website
Language:HTML1 0
IagoAbal/linux
Linux kernel source tree
Language:C1 0
IagoAbal/parmap
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
Language:OCaml1 0
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.
Language:OCaml1 0
IagoAbal/schemastore
A collection of JSON schema files including full API
Language:JavaScript1 0
IagoAbal/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Language:JavaScript1 0
IagoAbal/semgrep-docs
Documentation of Semgrep: a fast, open-source, static analysis tool.
Language:HTML1 0
IagoAbal/semgrep-rules
Semgrep rules registry
Language:Java1 0
IagoAbal/stackage
"Stable Hackage": vetted consistent packages from Hackage
Language:Shell1 0
IagoAbal/timestamp
Timestamp stuff
2 0
IagoAbal/toy
Language:Haskell2 0