cedricrupb Goto Github PK

ase22-neural-bug-detectors-comparable-to-developers

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

code_ast

Fast and robust AST parsing of any language

code_diff

Fast AST based code differencing in Python

code_graph

Fast program graph generation in Python

code_tokenize

Fast tokenization and structural analysis of any programming language

cpachecker

PeSCo, predicting analyses sequences

cracksv2

Cracks FactChecker v2: Check the truthworthines of statements using Wikipedia

cst_transform

A library for representing C programs for verifier selection with support for fast prototyping of new selectors

ctesters

ctxmutants

Generate more realistic mutations with contextual mutants

limes

Link Discovery Framework for Metric Spaces.

nbfbaselines

Neural baselines for finding and fixing single token bugs in Python

neuralalgorithmselection

pesco

py-tree-sitter

Python bindings to the Tree-sitter parsing library

pycparser

:snake: Complete C99 parser in pure Python

pyprsvscripts

pysvranker

A python library to predict rankings how different software verification tools perform on one program.

pytasks

A framework which allows to define Tasks in a recursive manner. Tasks can be distributed across multiple nodes.

relationextraction

semtransforms

sv-comp

Information to reproduce results from SV-COMP

test2witness

tssb3m

Mining tool and large-scale datasets of single statement bug fixes in Python