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
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 5 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Linux kernel branches for confidential compute research☆17Updated this week
- Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores☆13Updated 3 weeks ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Updated 8 months ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 2 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- Lab Mouse Security research pertaining to RISC-V☆11Updated 7 years ago
- QEmu backend for avatar²☆21Updated this week
- Securing System Logs With Intel SGX☆14Updated 8 years ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆19Updated 5 years ago
- ☆16Updated 7 years ago
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- Heap analysis tooling for mempool☆13Updated 2 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆15Updated last month
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- Fetch and set configuration values from IDAPython scripts☆20Updated 4 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- Program for converting C preprocessor usage to C constructs☆12Updated 2 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- Dynamic Control Flow Recovery☆24Updated 6 years ago
- Ditto.☆17Updated 4 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 11 years ago
- libs2e.so☆20Updated 4 years ago