Dynamic function binding in C !!!
☆27Sep 15, 2020Updated 5 years ago
Alternatives and similar repositories for C-bind
Users that are interested in C-bind are comparing it to the libraries listed below
Sorting:
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Feb 23, 2026Updated last week
- A distributed experimentation platform using kubernetes.☆13Apr 20, 2021Updated 4 years ago
- Library for constructing data-centric processing pipelines☆12Feb 23, 2026Updated last week
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 3 years ago
- Sandboxing C in Rust☆19Jun 16, 2025Updated 8 months ago
- Automatic Vulnerability Discovery☆38Mar 30, 2019Updated 6 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- Proof of concept agentic solver for nfuncs from DEF CON Quals 2025☆23Apr 18, 2025Updated 10 months ago
- CTF games I played.☆23Dec 7, 2022Updated 3 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 10 months ago
- Code for my blog post on using S2E for malware analysis☆25Jul 16, 2019Updated 6 years ago
- ☆25Jan 17, 2020Updated 6 years ago
- POC for leaking java version through file and ftp protocols☆24Nov 1, 2020Updated 5 years ago
- ☆23Oct 11, 2019Updated 6 years ago
- Symbolic Execution Over Processor Traces☆127Aug 14, 2024Updated last year
- Timeless debugging with symbolic execution and processor trace☆75Jan 23, 2021Updated 5 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- React window title bar for your electron applications☆12Mar 7, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆141Aug 17, 2021Updated 4 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- Utilities for generating dynamic traces☆94Mar 24, 2025Updated 11 months ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Source Code for the TenTec 506 Rebel QRP Tranciever☆13Dec 30, 2014Updated 11 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Jun 11, 2022Updated 3 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- Simple but Small Frame Grabber☆38Nov 22, 2021Updated 4 years ago
- A deterministic, fuzzable pthread implementation☆45May 7, 2023Updated 2 years ago
- ☆11Mar 17, 2021Updated 4 years ago
- A fediverse *key plugin that adds pronouns to display names☆10Dec 26, 2025Updated 2 months ago
- ☆10Mar 30, 2015Updated 10 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- An attempt to bring forum features to Discord.☆10Oct 17, 2020Updated 5 years ago
- Notification skill for Mycroft☆10Mar 2, 2020Updated 6 years ago