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
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Linux kernel branches for confidential compute research☆17Updated 3 months ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- QEmu backend for avatar²☆21Updated 2 months ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- A (Miasm2 + binaryninja) based function divination.☆15Updated 7 years ago
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆19Updated 5 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Undefined Behaviour Snippets☆17Updated 7 years ago
- Program for converting C preprocessor usage to C constructs☆12Updated 2 years ago
- QARMA block cipher in C☆26Updated 2 years ago
- ☆9Updated 5 years ago
- A python script that creates an X86 assembly code for memcpy using genetic algorithms.☆10Updated 5 years ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- Lab Mouse Security research pertaining to RISC-V☆11Updated 7 years ago
- ☆16Updated 7 years ago
- Convert a raw firmware image to an ELF file.☆14Updated 5 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Updated 6 months ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆16Updated 6 months ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated last week
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 7 years ago
- Modelsim QEMU Unicorn integration via the FLI☆14Updated 2 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Tracing framework for full system simulators☆55Updated 9 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago