THREADS Conference Archive
☆16Aug 1, 2019Updated 6 years ago
Alternatives and similar repositories for threads
Users that are interested in threads are comparing it to the libraries listed below
Sorting:
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- CVE querying library and utility that uses a local store syncing directly to the National Vulnerability Database☆24Jun 29, 2023Updated 2 years ago
- CodeQL library and queries for iterator invalidation☆22Mar 12, 2026Updated last week
- poststructural fuzzing☆31Jan 29, 2020Updated 6 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Aug 17, 2017Updated 8 years ago
- DEPRECATED avatar-panda repository; please use https://github.com/panda-re/panda☆13Mar 19, 2021Updated 5 years ago
- Parse HTTP Security Headers☆40Sep 12, 2024Updated last year
- DARPA Cyber Grand Challenge Challenge Binary Testing tools☆31Jan 24, 2018Updated 8 years ago
- A collection of useful, free, single-file libraries for C.☆11Oct 15, 2015Updated 10 years ago
- Fernvale research OS☆15Apr 24, 2017Updated 8 years ago
- SWAT - System-Wide Analysis Toolkit☆16Oct 4, 2021Updated 4 years ago
- Simple and fast HTTP logs analyzer (Apache/Nginx) for huge log files☆18Jan 22, 2014Updated 12 years ago
- Yet another IDA Pro real time syncing plugin☆16Mar 27, 2018Updated 7 years ago
- Linux network namespace sysctl safety verifier.☆11Jun 20, 2021Updated 4 years ago
- The tool for bugs detection in the process of tainted data processing (based on DBI Intel PIN).☆12Jul 23, 2015Updated 10 years ago
- Immunity Debugger Taint Tracer☆20Jun 18, 2013Updated 12 years ago
- CTF platform we wrote and used for justCTF 2019☆12Jun 25, 2022Updated 3 years ago
- Cell language C++ runtime☆18Oct 1, 2020Updated 5 years ago
- CFE virtual competition framework☆14Feb 1, 2017Updated 9 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 9 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Vulnerability Data Tracer - Published at Phrack 67 Article☆15Dec 12, 2014Updated 11 years ago
- An Android soft keyboard using Morse code.☆14Jun 22, 2013Updated 12 years ago
- Tool for submitting traces to Pernosco☆13Oct 3, 2025Updated 5 months ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)☆13Sep 4, 2019Updated 6 years ago
- `penv`: a better `env` & `venv`☆12May 24, 2017Updated 8 years ago
- GraphQL Middleware for container interop☆13Jun 18, 2019Updated 6 years ago
- ☆19Dec 19, 2019Updated 6 years ago
- Fuzz-introspector has moved (but is actively maintained) - please follow the project here https://github.com/ossf/fuzz-introspector☆14Dec 3, 2021Updated 4 years ago
- C++ reflection framework (for fun)☆14Nov 16, 2014Updated 11 years ago
- C++ type_name template utilities for pretty-printing type names☆13Feb 1, 2019Updated 7 years ago
- ☆11Nov 14, 2021Updated 4 years ago
- A simple platform-agnostic chaos monkey☆12May 9, 2017Updated 8 years ago
- Universal Linux Application SDK - Create once. Run everywhere.☆10Jun 25, 2018Updated 7 years ago
- Collection of smart contracts ABIs☆10Jan 22, 2026Updated last month
- Useful Powershell modules.☆11Mar 10, 2017Updated 9 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Feb 1, 2019Updated 7 years ago
- Phishing Toolkit☆19Feb 20, 2018Updated 8 years ago
- ☆18Mar 22, 2016Updated 9 years ago