stef / px1000crLinks
Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr
☆17Updated 3 years ago
Alternatives and similar repositories for px1000cr
Users that are interested in px1000cr are comparing it to the libraries listed below
Sorting:
- Examples of self-modifying x86 linux assembly☆11Updated 4 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated this week
- Resurrecting PP-BESM☆27Updated 2 months ago
- Hello, World! written in seemingly "gibberish" x86 assembly using obfuscation on the assembly and machine code -level☆42Updated 2 years ago
- ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable☆30Updated 3 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- A C11 compiler for the discrete logic computer☆21Updated last year
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆67Updated last week
- Test self-modifying code behaviour on processors for single-use JIT functions☆55Updated 5 years ago
- Pi number calculator using 8088 assembly language☆66Updated 4 years ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆68Updated last year
- My investigation into mission generation in the Stealth Fighter games by Microprose.☆83Updated last year
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆125Updated last week
- PDP-11 operating system.☆29Updated 4 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated this week
- Playing NES ROMs with Ghidra's PCode Emulator☆102Updated 2 years ago
- Using z3's never been easier (maybe)☆102Updated 4 years ago
- A bignum library for C.☆33Updated last year
- ☆129Updated 3 years ago
- Bootloader exploration☆20Updated 3 years ago
- CPU Adventure task from Dragon CTF 2019 teaser☆31Updated 8 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆83Updated 3 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 4 years ago
- A minimal RISC-V RV32I disassembler☆57Updated 4 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 3 months ago
- An automated approach to the Collatz conjecture☆12Updated 2 years ago
- A simple Web Assembly Interpreter☆18Updated last year