n2iw / Invariant-tools

Tools for running Daikon and comparing invariants

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Invariant tools

This is a tool set for running Daikon and processing invariant data sets. Most of the tools were written in Python and some in Bash.

The tool set was used to prepare data for "Effective Online Software Anomaly Detection" ISSTA 2017

Tools start with "smt" are for submitting jobs to VIDIA clusters, need to be run in a VIDIA instance.

About

Tools for running Daikon and comparing invariants


Languages

Language:Python 98.2%Language:Shell 0.9%Language:Prolog 0.9%