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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results
C 3 1 Updated Feb 20, 2024

function-based program repair

Python 5 Updated Nov 25, 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 2,270 307 Updated Mar 10, 2025

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

Python 28 10 Updated Jul 9, 2024

Security Vulnerability Repair via Concolic Execution and Code Mutations

Python 18 1 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 93 27 Updated Sep 1, 2021

The official angr GUI.

Python 957 114 Updated Mar 10, 2025

A powerful and user-friendly binary analysis platform!

Python 7,808 1,095 Updated Mar 7, 2025

First project for CSE 360

Java 1 Updated May 21, 2017