Pinned Repositories
ASE22-neural-bug-detectors-comparable-to-developers
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
ctxmutants
Generate more realistic mutations with contextual mutants
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.
TSSB3M
Mining tool and large-scale datasets of single statement bug fixes in Python
cedricrupb's Repositories
cedricrupb/code_tokenize
Fast tokenization and structural analysis of any programming language
cedricrupb/code_diff
Fast AST based code differencing in Python
cedricrupb/code_ast
Fast and robust AST parsing of any language
cedricrupb/TSSB3M
Mining tool and large-scale datasets of single statement bug fixes in Python
cedricrupb/nbfbaselines
Neural baselines for finding and fixing single token bugs in Python
cedricrupb/pySVRanker
A python library to predict rankings how different software verification tools perform on one program.
cedricrupb/code_graph
Fast program graph generation in Python
cedricrupb/cpachecker
PeSCo, predicting analyses sequences
cedricrupb/ctxmutants
Generate more realistic mutations with contextual mutants
cedricrupb/ASE22-neural-bug-detectors-comparable-to-developers
cedricrupb/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
cedricrupb/Cracksv2
Cracks FactChecker v2: Check the truthworthines of statements using Wikipedia
cedricrupb/cst_transform
A library for representing C programs for verifier selection with support for fast prototyping of new selectors
cedricrupb/ctesters
cedricrupb/LIMES
Link Discovery Framework for Metric Spaces.
cedricrupb/NeuralAlgorithmSelection
cedricrupb/pesco
cedricrupb/py-tree-sitter
Python bindings to the Tree-sitter parsing library
cedricrupb/pycparser
:snake: Complete C99 parser in pure Python
cedricrupb/pyPRSVScripts
cedricrupb/pyTasks
A framework which allows to define Tasks in a recursive manner. Tasks can be distributed across multiple nodes.
cedricrupb/relationextraction
cedricrupb/semtransforms
cedricrupb/sv-comp
Information to reproduce results from SV-COMP
cedricrupb/test2witness