mfthomps / Visualization-of-Software-Execution
Tools created for the DARPA Cyber Grand Challenge that visualize software execution based on traces generated by the CGC Monitor and a Unity3D program.
☆14Updated 6 years ago
Alternatives and similar repositories for Visualization-of-Software-Execution:
Users that are interested in Visualization-of-Software-Execution are comparing it to the libraries listed below
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 5 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆16Updated 2 months ago
- QARMA block cipher in C☆27Updated 2 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- Linux kernel branches for confidential compute research☆17Updated 3 weeks ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Securing System Logs With Intel SGX☆14Updated 8 years ago
- Lab Mouse Security research pertaining to RISC-V☆11Updated 7 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 2 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores☆14Updated last month
- ☆9Updated 6 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 11 years ago
- A tool that allows you to assemble and emulate assembly in multiple archs for learning purposes☆13Updated 6 years ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- Convert a raw firmware image to an ELF file.☆14Updated 6 years ago
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- QEmu backend for avatar²☆21Updated 3 weeks ago
- ☆27Updated 3 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Updated 5 years ago
- Collection of RISC-V exploits☆29Updated 5 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- ☆16Updated 7 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- Naive Proof of Concept Crypter for GNU/Linux ELF64☆11Updated 7 years ago