Thesis code
☆26Aug 16, 2023Updated 2 years ago
Alternatives and similar repositories for taint
Users that are interested in taint are comparing it to the libraries listed below
Sorting:
- ☆12Nov 2, 2022Updated 3 years ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- 快来生成你的浏览记录年度总结!☆18Dec 12, 2024Updated last year
- ☆163May 24, 2024Updated last year
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆21Mar 8, 2025Updated 11 months ago
- A fully automated Rust fuzz driver generator☆62Jun 17, 2025Updated 8 months ago
- ☆61Feb 15, 2023Updated 3 years ago
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 9 months ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 9 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Dec 11, 2022Updated 3 years ago
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 2 months ago
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- Hot Reconfiguration Technology demo☆42Aug 23, 2022Updated 3 years ago
- My BinaryNinja toolkit I use for iOS centric RE || Prerelease!☆46Aug 21, 2023Updated 2 years ago
- Front-end for Nplan☆12Updated this week
- A bot that says butts, for Twitch chat☆10Mar 7, 2016Updated 9 years ago
- A Rust library to represent numbers as large as 10^^1e308 and as small as 10^-10^^1e308. Designed for incremental games.☆12May 20, 2024Updated last year
- The Hypnospiral Visualizer source code.☆17Sep 9, 2025Updated 5 months ago
- Find reference points and lines in crease patterns.☆15Nov 19, 2025Updated 3 months ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- A map of Durham Neighborhoods made with GeoJSON☆12Jul 6, 2024Updated last year
- Tools for accessing iCloud's Key Value store service.☆10Aug 1, 2016Updated 9 years ago
- ☆44Apr 28, 2020Updated 5 years ago
- A reverse/bind shell generator utility☆11Jul 22, 2024Updated last year
- A wayfinding system and visual language for urban tech that helps people see and understand how data, sensors and AI shapes the places we…☆17Sep 3, 2025Updated 6 months ago
- 【转载】BitTorrent下载器 - 《Linux C编程实战》书后示例☆12Mar 24, 2020Updated 5 years ago
- Rust implementation of SafePOSIX☆13May 13, 2025Updated 9 months ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 2 months ago
- Simple bitset with small-set (single-word) optimization☆19Jun 9, 2024Updated last year
- Quantum Insert/FoxAcid case study☆16May 18, 2017Updated 8 years ago
- Tools for working with Ghidra/Sleigh slaspec☆11Jan 2, 2025Updated last year
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 6 months ago
- Display file contents in hexadecimal and ASCII.☆15Oct 5, 2019Updated 6 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- Cloud rendering☆15Dec 29, 2025Updated 2 months ago
- ☆15May 6, 2021Updated 4 years ago
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 7 years ago
- ☆55Updated this week