iagoabal Goto Github PK

2017-vmcai

Submission to VMCAI 2017.

abc-papers

Collection of good papers.

bench-c-stdl

A benchmark of single-thread double lock bugs.

cil

C Intermediate Language

coccinelle

Source code of the Coccinelle project

darcs-alloy

Specification of Darcs' Patch Theory Kernel in Alloy

dl

eba

EBA is a static bug finder for C.

eba-cil

Latest CIL development version with EBA-specific additions.

gitman

Language-agnostic dependency manager using Git.

haskell-bv

Bit-vector arithmetic library for Haskell

haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

hsc

iagoabal.github.io

Iago's website

linux

Linux kernel source tree

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

stackage

"Stable Hackage": vetted consistent packages from Hackage

timestamp

Timestamp stuff

toy