dynaroars Goto Github PK

.github

ceti

CETI (Correcting Errors using Test-input) is an automatic program repair technique that uses test-input generation to repair C programs. The idea is to convert the buggy program/test suite specification into another program consisting of a location reachable iff the buggy program can be repair to pass the given test suite.

ceti2

coloring

A fast algorithm for solving the Graph Coloring problem and its generalizations (Bandwidth Coloring, Multi Coloring, and Bandwidth Multi Coloring problems)

cool-compiler-in-py

Another COOL compiler impelmentation in Py

cool-language-support

dig

DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.

dnn-inv-inference

dynaplex

A tool for inferring program complexity, e.g., O(nlogn), O(n^2), O(2^n). Dynaplex uses dynamic analysis to infer recurrence relations and then solve them for closed form solutions representing program complexity bounds.

dynaroars.github.io

Dynaroars Website

dynarorars.github.io

gentree

GenTree: Using Decision Trees to Learn Interactions for Configurable Software (ICSE 21)

gentree_docker

igen

a dynamic analysis tool to find interactions among configuration options in highly-configurable software.

maxclique

A parallel, ant-based algorithm for the Maximum Clique problem.

neuralbench

Collections of neural networks and specifications

neuralsat

DPLL(T)-based Verification tool for DNNs

neuralsat-solver

A DPLL(T) Framework for Verifying Deep Neural Networks

npbench

a collection of benchmarks (in DIMACS format) for various NP-Complete problems

numinv

openscience

pfa

pyexz3

Python Exploration with Z3

software-analysis-book

symbolic-execution-analysis

symexe4dnn

vnncomp-benchmark-generation

vs.language.cmake

Syntax highlighting for Cmake in Visual Studio Code