Pinned Repositories
program-dependence-graph
Program dependence graph in LLVM
angelix
Semantic program repair system for C programs
codeflaws
This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
daikon-invariants
Repo to log invariants from multiple bug sources
genprog-code
GenProg code, faithfully transferred from svn repository.
prophet-modernize
a repo that helps to update the Prophet APR tool to more modern GNU tools
Darjeeling
Language-independent, search-based program repair -- just your cup of tea! ☕
genprog-code
GenProg: heuristic, GP-based automatic program repair for C.
Kaskara
A simple API frontend for various static analysers (e.g., Clang)
llvm-supermutate
LLVM supermutation
pdreiter's Repositories
pdreiter/codeflaws
This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
pdreiter/genprog-code
GenProg code, faithfully transferred from svn repository.
pdreiter/prophet-modernize
a repo that helps to update the Prophet APR tool to more modern GNU tools
pdreiter/angelix
Semantic program repair system for C programs
pdreiter/ASU-Dissertation-Template
LaTeX Template for Typesetting Arizona State University Dissertations and Theses
pdreiter/bert
TensorFlow code and pre-trained models for BERT
pdreiter/binutils
GNU Binutils ported to support DARPA Cyber Grand Challenge
pdreiter/BugZoo
Keep your bugs contained. A platform for studying historical software bugs.
pdreiter/cb-testing
DARPA Cyber Grand Challenge Challenge Binary Testing tools
pdreiter/cpython
The Python programming language
pdreiter/daikon-invariants
Repo to log invariants from multiple bug sources
pdreiter/cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
pdreiter/cil
C Intermediate Language
pdreiter/Darjeeling
Language-independent, search-based program repair -- just your cup of tea! ☕
pdreiter/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
pdreiter/f1x-prep
Efficient patch generation engine for C/C++ programs
pdreiter/fjalar
A dynamic analysis framework for C and C++ programs
pdreiter/ghidra2cpg
Code Property Graph (CPG) frontend for binary applications and libraries.
pdreiter/jsish
Jsi is a small, C-embeddable javascript interpreter with tightly woven Web and DB support.
pdreiter/klee
KLEE Symbolic Virtual Machine
pdreiter/LIEF
LIEF - Library to Instrument Executable Formats
pdreiter/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
pdreiter/ManyBugs
pdreiter/MaxExplore
pdreiter/mjs
Embedded JavaScript engine for C/C++
pdreiter/pdreiter.github.io
pdreiter/program-dependence-graph
A multithreading construction of program dependence graph
pdreiter/pytorch-pretrained-BERT
The Big-&-Extending-Repository-of-Transformers: PyTorch pretrained models for Google's BERT, OpenAI GPT & GPT-2 and Google/CMU Transformer-XL.
pdreiter/samples
DARPA Cyber Grand Challenge Sample Challenges
pdreiter/transform-scripts