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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 5 years ago
- CVE querying library and utility that uses a local store syncing directly to the National Vulnerability Database☆24May 22, 2026Updated 2 weeks ago
- CodeQL library and queries for iterator invalidation☆22Mar 12, 2026Updated 2 months ago
- poststructural fuzzing☆31Jan 29, 2020Updated 6 years ago
- Samples of Avatar firmware analysis (including NDSS'14 cases)☆20Jun 27, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆13Aug 17, 2017Updated 8 years ago
- DEPRECATED avatar-panda repository; please use https://github.com/panda-re/panda☆13Mar 19, 2021Updated 5 years ago
- DARPA Cyber Grand Challenge Challenge Binary Testing tools☆31Jan 24, 2018Updated 8 years ago
- Init script for lldb☆17Feb 28, 2016Updated 10 years ago
- Fernvale research OS☆15Apr 24, 2017Updated 9 years ago
- SWAT - System-Wide Analysis Toolkit☆16Oct 4, 2021Updated 4 years ago
- Linux network namespace sysctl safety verifier.☆11Jun 20, 2021Updated 4 years ago
- Simple stream multiplexing for objectMode.☆15Mar 28, 2025Updated last year
- The tool for bugs detection in the process of tainted data processing (based on DBI Intel PIN).☆12Jul 23, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Immunity Debugger Taint Tracer☆20Jun 18, 2013Updated 12 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 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☆16Dec 12, 2014Updated 11 years ago
- Tool for submitting traces to Pernosco☆13May 8, 2026Updated last month
- ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers☆15Nov 28, 2018Updated 7 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)☆13Sep 4, 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple platform-agnostic chaos monkey☆12May 9, 2017Updated 9 years ago
- work in progress ....☆10Mar 4, 2020Updated 6 years ago
- Universal Linux Application SDK - Create once. Run everywhere.☆10Jun 25, 2018Updated 7 years ago
- Collection of smart contracts ABIs☆11Apr 15, 2026Updated last month
- Shareable MetaMask ESLint config☆10Updated this week
- Useful Powershell modules.☆11Mar 10, 2017Updated 9 years ago
- The IDM mini-chat DApp workshop☆10May 1, 2025Updated last year
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Dec 28, 2016Updated 9 years ago
- A framework to fuzz Word Quick Fields☆20Jul 15, 2018Updated 7 years ago
- ☆10May 3, 2017Updated 9 years ago
- Writeups of CTF challenges I do☆13Sep 29, 2019Updated 6 years ago
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Oct 2, 2017Updated 8 years ago
- Golang SDK for IoTeX bloclchain☆13Jun 1, 2026Updated last week
- ☆138Oct 14, 2019Updated 6 years ago