michaelpradel

DeepBugs

DeepBugs is a framework for learning bug detectors from an existing code corpus.

ConTeGe

Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes

LExecutor

A learning-guided approach for executing arbitrary Python code snippets

PointerNet

Pytorch implementation of Pointer Network

ASDL2017

Course project for "Analysing Software using Deep Learning"

WebAppWalker

Automated UI-level testing of web applications

ASDL2018

Course project for "Analysing Software using Deep Learning" (Summer 2018, TU Darmstadt)

Code-LMs

Guide to using pre-trained large language models of source code

static-taint-analysis-project

BLAKE3

the official Rust and C implementations of the BLAKE3 cryptographic hash function

codeql

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

jalangi

jalangi2

Dynamic analysis framework for JavaScript

jest-waterline-integration-test

pcminer

PC-miner tool for program chairs

spec

WebAssembly specification, reference interpreter, and test suite.

suppression-test-accidental

suppression-test-accidental2

suppression-test-accidental3

suppression-test-accidental4

suppression-test-accidental5

suppression-test-accidental6

suppression-test-branches

suppression-test-python-pylint

suppression-test-python-pylint2

suppression-test-suppr-warn-map

suppression-test-warning-tracker