Skip to content
View bstee615's full-sized avatar
46 followers · 60 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@microsoft

Block or report bstee615

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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

15 results for source starred repositories written in C
Clear filter

shellphish / how2heap

A repository for learning various heap exploitation techniques.

C 7,379 1,157 Updated Nov 27, 2024

rfjakob / earlyoom

earlyoom - Early OOM Daemon for Linux

C 3,011 159 Updated Nov 2, 2024

HyperDbg / HyperDbg

State-of-the-art native debugging tools

C 2,988 383 Updated Jan 2, 2025

trailofbits / cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS

C 521 103 Updated Jun 29, 2023

seahorn / seahorn

SeaHorn Verification Framework

C 442 130 Updated Sep 4, 2024

rsms / llvmbox

Self contained, fully static llvm tools & libs

C 346 2 Updated Mar 1, 2023

justanhduc / task-spooler

A scheduler for GPU/CPU tasks

C 294 24 Updated Mar 6, 2024

seahorn / clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

C 278 37 Updated Apr 21, 2024

ForAllSecure / VulnerabilitiesLab

Reproduce CVEs from ForAllSecure Vulnerabilities Lab

C 110 20 Updated Jan 17, 2023

guykatzz / ReluplexCav2017

C 101 49 Updated Jul 8, 2020

vulnerabilitydetection / VulnerabilityDetectionResearch

VulnerabilityDetectionResearch

C 78 25 Updated Mar 22, 2022

tcwangshiqi-columbia / ReluVal

The released code of ReluVal in USENIX Security 2018

C 57 25 Updated Mar 4, 2020

bstee615 / tree-climber

Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).

C 38 10 Updated Mar 12, 2024

TruX-DTF / fixminer_source

Mining Relevant Fix Patterns for Automated Program Repair

C 26 10 Updated Dec 14, 2022

FlexiRepair / FlexiRepair

C 5 5 Updated Jul 26, 2022