FICS / BigMAC
BigMAC: Analysis tool to introspect and query Android security policies.
☆36Updated last year
Alternatives and similar repositories for BigMAC:
Users that are interested in BigMAC are comparing it to the libraries listed below
- My fork of American Fuzzy Lop☆61Updated 6 years ago
- ☆64Updated 5 years ago
- ☆31Updated 4 years ago
- ☆87Updated 2 years ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆97Updated 2 years ago
- The Fantastic Beasts Framework is a collection of tools for fuzzing the Android OS.☆63Updated 5 years ago
- FANS: Fuzzing Android Native System Services☆245Updated 4 years ago
- This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.☆134Updated 3 years ago
- ☆64Updated 4 years ago
- ☆56Updated 4 years ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆73Updated last year
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 8 months ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆43Updated last year
- Reverse-engineering tools and exploits for Samsung's implementation of TrustZone☆147Updated 5 years ago
- AFL bindings for Unicorn-Engine☆71Updated last week
- angr's exploration technique to perform taint analysis☆54Updated 4 years ago
- source code for savior fuzzer☆126Updated 4 years ago
- Compiled CGC binaries for experimentation porpoises.☆21Updated 7 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- Utilities for generating dynamic traces☆88Updated 2 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated 9 months ago
- Source-binary patch presence test system.☆82Updated 2 years ago
- Inferred Model-based Fuzzer☆108Updated 2 years ago
- ☆53Updated 8 months ago
- Symbolic Execution Over Processor Traces☆118Updated 5 months ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 3 years ago
- An AFL implementation with UnTracer (our coverage-guided tracer)☆123Updated 2 years ago
- ☆46Updated 3 years ago
- Repository for monolithic firmware blobs☆72Updated 2 years ago