mfthomps / Visualization-of-Software-ExecutionLinks
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 7 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
Sorting:
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26Updated 4 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- An AFL scaling benchmarking tool☆18Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆25Updated 5 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆17Updated 4 months ago
- A tool that allows you to assemble and emulate assembly in multiple archs for learning purposes☆13Updated 6 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Updated 5 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 2 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- Linux kernel branches for confidential compute research☆18Updated 2 months ago
- Python interface for Binexport, the Bindiff export format☆17Updated 2 weeks ago
- Slack bot to assemble and disassemble using Capstone and Keystone☆11Updated 5 years ago
- Heap analysis tooling for mempool☆13Updated 3 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- A introductory workshop to getting started with fuzzing using american fuzzy lop (AFL)☆23Updated 5 years ago
- A python script that creates an X86 assembly code for memcpy using genetic algorithms.☆10Updated 5 years ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆17Updated 11 months ago
- Slides from Public Talks☆18Updated 3 years ago
- Ditto.☆18Updated 4 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- ☆16Updated 7 years ago
- ☆12Updated 4 years ago
- ☆9Updated 6 years ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- Kernel heap read buffer overflow on macOS/iOS requiring root.☆10Updated 7 years ago
- Inject libraries into 32 processes on macOS Mojave☆15Updated 5 years ago
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Updated 5 years ago