TechSecCTF/z3_splash_class external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

TechSecCTF/z3_splash_class

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/TechSecCTF/z3_splash_class)

Close

TechSecCTF / z3_splash_classView on GitHubMore

• External links
• Readme badge

This repo holds materials for our Splash 2017 class on Z3.

☆26Nov 19, 2017Updated 8 years ago

Alternatives and similar repositories for z3_splash_class

Users that are interested in z3_splash_class are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• mit-pdos / 6.826-2017-labs

  View on GitHub
  ☆16Nov 9, 2017Updated 8 years ago
• saelo / feuerfuchs

  View on GitHub
  Files for the "feuerfuchs" challenge of 33C3 CTF. See the greeting message in server.py for more information about the challenge
  ☆38Dec 30, 2016Updated 9 years ago
• TACIXAT / zmine

  View on GitHub
  A GPU miner for the Zcash cryptocurrency.
  ☆15Oct 20, 2016Updated 9 years ago
• vmware-archive / vmmfuzzer

  View on GitHub
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Feb 4, 2020Updated 6 years ago
• Demonslay335 / stop_config

  View on GitHub
  Dump configuration from STOP Djvu ransomware sample
  ☆12Feb 19, 2020Updated 6 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• pwang00 / pietcc

  View on GitHub
  Piet interpreter and retargetable compiler written in Rust using LLVM as a backend
  ☆18Mar 31, 2026Updated 2 months ago
• NytroRST / Presentations

  View on GitHub
  My presentations from different conferences
  ☆15Sep 12, 2018Updated 7 years ago
• FiloSottile / crypto.py

  View on GitHub
  A collection of pure Python crypto implementations. All modules are standalone. Available in Python 2 and Python 3 flavors!
  ☆10Mar 2, 2013Updated 13 years ago
• RolfRolles / wbDESHook

  View on GitHub
  DLL-injection based solution to Brecht Wyseur's wbDES challenge (based on SysK's Phrack article)
  ☆43Nov 6, 2017Updated 8 years ago
• detule / linux-hexagon

  View on GitHub
  Linux kernel for Qualcomm's Hexagon processors
  ☆10Mar 14, 2013Updated 13 years ago
• str8outtaheap / heapwn

  View on GitHub
  Linux Heap Exploitation Practice
  ☆397Dec 1, 2018Updated 7 years ago
• nnamon / libc-database-with-ld

  View on GitHub
  Build a database of libc offsets and ld.so files to simplify exploitation
  ☆13Sep 13, 2018Updated 7 years ago
• eyalr0 / AES-Cryptoanalysis

  View on GitHub
  ☆13Oct 7, 2019Updated 6 years ago
• takluyver / backcall

  View on GitHub
  Backwards compatible callback APIs
  ☆19Jun 9, 2020Updated 6 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• n132 / Dec-Safe-Linking

  View on GitHub
  A general way to Recover Safe linking protected value/pointer
  ☆16Oct 23, 2022Updated 3 years ago
• rust-community / underhanded.rs

  View on GitHub
  Website for the Underhanded Rust Contest
  ☆13Mar 8, 2017Updated 9 years ago
• cyberheartmi9 / CVE-2017-8295

  View on GitHub
  ☆20Oct 22, 2019Updated 6 years ago
• EmbeddedSam / MPU-6050

  View on GitHub
  MPU-6050 Accelerometer and Gyroscope code
  ☆12Aug 4, 2014Updated 11 years ago
• hgarrereyn / OCRaaP

  View on GitHub
  OCRaaP - graphical computer language for maximum portability and ease of use
  ☆126Mar 6, 2018Updated 8 years ago
• 2xic-archive / Reverse-engineering-tool

  View on GitHub
  Binary analysis. Capstone+Keystone+Unicorn = static and dynamic binary analysis
  ☆12Oct 11, 2019Updated 6 years ago
• mdelaney / rust-binary-analysis

  View on GitHub
  This is a project I'm using to learn Rust and binary analysis.
  ☆11Jan 20, 2022Updated 4 years ago
• xerub / idastuff

  View on GitHub
  IDA Pro/Hexrays plugins
  ☆138Oct 2, 2018Updated 7 years ago
• Vector35 / snippets

  View on GitHub
  plugin for storing and using snippets of useful Binja script
  ☆29Jan 11, 2026Updated 5 months ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• mttaggart / pwfuzz-rs

  View on GitHub
  Rust-based password mutator for brute force attacks
  ☆13Mar 21, 2025Updated last year
• nebuta / bucklescript-jquery

  View on GitHub
  BuckleScript binding for JQuery
  ☆10Nov 1, 2017Updated 8 years ago
• fmagin / angr-cli

  View on GitHub
  Repo for various angr ipython features to give it more of a cli feeling
  ☆58Jan 15, 2025Updated last year
• eur0pa / tko-subs

  View on GitHub
  A tool that can help detect and takeover subdomains with dead DNS records
  ☆12Aug 23, 2018Updated 7 years ago
• mephi42 / memtrace

  View on GitHub
  Valgrind tool for tracing memory accesses
  ☆13Feb 6, 2025Updated last year
• FlappyPig / WCTF-pigdriver

  View on GitHub
  by http://whereisk0shl.top/
  ☆33Jul 9, 2018Updated 7 years ago
• akkuman / yujian_keygen

  View on GitHub
  御剑算号破解激活工具
  ☆12Mar 20, 2019Updated 7 years ago
• 0n3m4ns4rmy / ctf-write-ups

  View on GitHub
  ☆12Apr 29, 2019Updated 7 years ago
• ulexec / EmotetCFU

  View on GitHub
  WIP Emotet Control Flow Unflattening using miasm and radare2
  ☆23Dec 27, 2022Updated 3 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• maxking / linux-vulnerabilities-10-years

  View on GitHub
  My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.
  ☆160Oct 9, 2018Updated 7 years ago
• TeamUnderdawgs / BinaryExploitation-For-CTFs

  View on GitHub
  All things Binary Exploitation, Memory, Assembly and Corruptions.
  ☆10Sep 25, 2020Updated 5 years ago
• TACIXAT / FuzzyFileSystem

  View on GitHub
  A file system that mutates files
  ☆14Jul 20, 2020Updated 5 years ago
• TechSecCTF / writeups

  View on GitHub
  Writeups for various CTFs
  ☆17Nov 20, 2018Updated 7 years ago
• carter-yagemann / barnum-tracer

  View on GitHub
  The PT tracing portion of Barnum.
  ☆11Feb 8, 2019Updated 7 years ago
• iBerrry / Ryuk

  View on GitHub
  ☆11Apr 10, 2018Updated 8 years ago
• VincentToups / racket-lib

  View on GitHub
  My racket things
  ☆22Feb 2, 2012Updated 14 years ago