hardenedlinux / tzram-audit
ARM TrustZone Audit: Securing vs. Non-Securing Memory Separation
☆21Updated 2 months ago
Alternatives and similar repositories for tzram-audit
Users that are interested in tzram-audit are comparing it to the libraries listed below
Sorting:
- Vulnerability research assistant that extracts pseudo-code from the IDA Hex-Rays decompiler.☆33Updated this week
- ☆44Updated last year
- ☆21Updated last year
- A tool to perform so called BGE attack☆24Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Uncovering Container Confusion in the Linux Kernel☆43Updated last year
- Vulnerability research assistant that locates calls to potentially insecure API functions in a binary file.☆42Updated this week
- ☆18Updated 3 years ago
- ☆16Updated 3 months ago
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago
- ☆42Updated 6 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- ☆32Updated 4 years ago
- Diaphora Machine Learning tools and datasets☆21Updated 7 months ago
- trustonic tbase research☆31Updated 7 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated 2 years ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆38Updated last month
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆31Updated 3 months ago
- TrustZone Trusted Application 0-Days by Design☆19Updated this week
- IDA (sort of) headless☆24Updated last year
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆64Updated last month
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆35Updated last year
- An IDA file loader for Mobicore trustlet and driver binaries☆59Updated 5 years ago
- The rev.ng demos☆10Updated 5 months ago
- Python interface for Binexport, the Bindiff export format☆16Updated 3 weeks ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated 2 weeks ago
- Symbolic executor for Binary Ninja's MLIL☆23Updated 7 months ago
- ☆13Updated 2 years ago