Giters

chkl / adiff

A tool for differentially testing soundness and precision of program analyzers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Build Status

ADiff

This repository contains the following projects:

  • adiff The main project README
  • adiff-server a web application to search for soundness/completeness issues in recorded runs
  • language-c-extensible A fork of language-c that enables custom annotations on the AST
  • adiff-docker a small utility to execute a container with all tools installed (obsolete)

About

A tool for differentially testing soundness and precision of program analyzers

License:MIT License

Languages

Language:Haskell 58.6%Language:C 29.9%Language:Yacc 5.8%Language:Logos 1.8%Language:Shell 1.1%Language:Makefile 0.8%Language:C++ 0.5%Language:JavaScript 0.5%Language:TeX 0.4%Language:Dockerfile 0.4%Language:CSS 0.2%Language:Ruby 0.1%