cshelton / pacman-ctf
Python3 version of UC Berkeley's CS 188 Pacman Capture the Flag project
☆9Updated last year
Alternatives and similar repositories for pacman-ctf:
Users that are interested in pacman-ctf are comparing it to the libraries listed below
- Course Projects for CS 61B, the data structures class at UC Berkeley, Spring 2014☆10Updated 10 years ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- Course repo for material related to CYPLAN 255 at UC Berkeley, Spring 2024☆11Updated 10 months ago
- A C++, header-only DID:x509 resolver☆14Updated 8 months ago
- self study java, through cs61b (http://www.cs.berkeley.edu/~jrs/61b/)☆10Updated 11 years ago
- Pacman AI Projects 1,2,3 - UC Berkeley☆11Updated 2 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 5 years ago
- ☆23Updated 4 years ago
- https://github.com/wcventure/FuzzingPaper☆10Updated 3 years ago
- An MDP solver for Pacman to win games. Base game from Berkeley cs188x☆9Updated 7 years ago
- Notes for "Introduction to Systems Programming" - 234124 (Technion)☆13Updated 2 years ago
- Linux assembly language minimal 'dynamic ELF' example plus experiments☆25Updated 4 years ago
- My implementation for Berkeley AI Pacman projects No. 1 and No. 2☆15Updated 5 years ago
- Basic x86 Symbolic Execution for educational purposes☆18Updated 7 years ago
- Fastgcd is a C implementation of an efficient algorithm to compute the pairwise GCDs of a collection of integers. The algorithm is due to…☆17Updated 10 months ago
- This is the homework lab and project from CS 61B 2014fall☆11Updated 3 weeks ago
- JavaScript virtual machine for WebAssembly and Taint Tracking security tool☆14Updated 7 years ago
- Current development for Call Map takes place at https://github.com/ajylee/call_map. Call Map is a tool for navigating Python call graphs.…☆28Updated 3 years ago
- ☆10Updated 4 years ago
- ELF/PE/Mach-O parsing library☆50Updated last year
- ROPChain generator.☆39Updated 6 years ago
- Writeups of CTF challenges I do☆13Updated 5 years ago
- Debugging library to quickly get the minimal crashing test case☆36Updated 6 years ago
- My software engineering notes.☆18Updated 3 weeks ago
- tool for multi-execution jump coverage introspection☆63Updated 2 months ago
- Test and benchmark repository for Z3.☆26Updated 2 months ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- QEMU VM with generic KVM extensions for symbolic execution☆24Updated last year
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆15Updated last month