Skip to content
View pdreiter's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.

Highlights

  • Pro

Block or report pdreiter

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

function-based program repair

Python 6 Updated Nov 25, 2024
C 3 1 Updated Feb 20, 2024

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Scala 3,085 407 Updated Apr 18, 2026

Language-independent, search-based program repair -- just your cup of tea! ☕

Python 32 11 Updated Jul 9, 2024

Security Vulnerability Repair via Concolic Execution and Code Mutations

Python 19 3 Updated Sep 12, 2024

A simple API frontend for various static analysers (e.g., Clang)

Python 3 Updated Jul 14, 2024

GenProg code, faithfully transferred from svn repository.

OCaml 1 Updated Jun 23, 2020

GenProg: heuristic, GP-based automatic program repair for C.

OCaml 99 27 Updated Sep 1, 2021

The official angr GUI.

Python 1,135 126 Updated Apr 20, 2026

A powerful and user-friendly binary analysis platform!

Python 8,611 1,160 Updated Apr 20, 2026

First project for CSE 360

Java 1 Updated May 21, 2017