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
Sorting:
- ☆14Nov 9, 2017Updated 8 years ago
- A GPU miner for the Zcash cryptocurrency.☆15Oct 20, 2016Updated 9 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- 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
- A hypervisor or virtual machine monitor (VMM) fuzzer☆28Feb 4, 2020Updated 6 years ago
- Empire for the PDP-11 in Macro-11 assembler language☆32Mar 22, 2013Updated 12 years ago
- ☆20Oct 22, 2019Updated 6 years ago
- Linux Heap Exploitation Practice☆395Dec 1, 2018Updated 7 years ago
- Exploitation and Mitigation Slides☆136Jun 4, 2024Updated last year
- Chakra vulnerability and exploit bypass all system mitigation☆82Jun 9, 2018Updated 7 years ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 8 years ago
- by http://whereisk0shl.top/☆35Jul 9, 2018Updated 7 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- ☆12Apr 29, 2019Updated 6 years ago
- Frida scripts☆12Jun 5, 2021Updated 4 years ago
- MPU-6050 Accelerometer and Gyroscope code☆11Aug 4, 2014Updated 11 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Linux kernel for Qualcomm's Hexagon processors☆10Mar 14, 2013Updated 12 years ago
- Testing android heap size allocation☆11Sep 4, 2016Updated 9 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 8 months ago
- A simple tool to view important DLL Characteristics and change DEP and ASLR☆45Oct 26, 2018Updated 7 years ago
- Baremetal softwares for TrivialMIPS platform☆11Aug 12, 2019Updated 6 years ago
- ☆10Apr 24, 2016Updated 9 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- Build a database of libc offsets and ld.so files to simplify exploitation☆13Sep 13, 2018Updated 7 years ago
- https://langjamgamejam.com/☆21Dec 17, 2025Updated 2 months ago
- Filesystem browser written in RapidApp☆11Oct 26, 2020Updated 5 years ago
- It's a CP/M 2.2 Emulator for Win32/64 and Linux☆11May 11, 2024Updated last year
- This is a project I'm using to learn Rust and binary analysis.☆11Jan 20, 2022Updated 4 years ago
- MARS_NWE NetWare Emulator☆13Oct 2, 2024Updated last year
- Tool for generating Memory.scan() compatible instruction search patterns☆14Jul 29, 2022Updated 3 years ago
- Source Code form some "accient" Modula-2 Compilers from the ETHZ. Forked from http://www.cfbsoftware.com/modula2/.☆10Nov 18, 2021Updated 4 years ago
- Small Incompatible Timesharing System☆12Nov 23, 2022Updated 3 years ago
- Utility commands for Maestro operating system☆14Oct 30, 2025Updated 4 months ago
- minimalist class construction☆19Sep 4, 2020Updated 5 years ago