cedricrupb

code_tokenize

Fast tokenization and structural analysis of any programming language

code_diff

Fast AST based code differencing in Python

TSSB3M

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

code_ast

Fast and robust AST parsing of any language

nbfbaselines

Neural baselines for finding and fixing single token bugs in Python

pySVRanker

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

code_graph

Fast program graph generation in Python

cpachecker

PeSCo, predicting analyses sequences

ctxmutants

Generate more realistic mutations with contextual mutants

ASE22-neural-bug-detectors-comparable-to-developers

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

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

LIMES

Link Discovery Framework for Metric Spaces.

NeuralAlgorithmSelection

pesco

py-tree-sitter

Python bindings to the Tree-sitter parsing library

pycparser

:snake: Complete C99 parser in pure Python

pyPRSVScripts

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