TIRO - A hybrid iterative deobfuscation framework for Android applications
☆27Aug 17, 2018Updated 7 years ago
Alternatives and similar repositories for tiro
Users that are interested in tiro are comparing it to the libraries listed below
Sorting:
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆59Jun 20, 2018Updated 7 years ago
- ROP-Gadget finder in Rust☆17Feb 2, 2018Updated 8 years ago
- ☆13May 5, 2018Updated 7 years ago
- TriFlow: Triaging Android Applications using Speculative Information Flows☆13Dec 26, 2022Updated 3 years ago
- Mimojas Firmware Toolkit for unpacking and analysis firmware images☆14May 23, 2020Updated 5 years ago
- ProcHarvester - Fully Automated Analysis of Procfs Side-Channel Leaks on Android☆17Apr 26, 2018Updated 7 years ago
- ☆14Oct 11, 2017Updated 8 years ago
- ☆22Sep 28, 2022Updated 3 years ago
- Orlis/Orcis☆21Dec 27, 2018Updated 7 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- This is the source of our Return Oriented Programming tool.☆14Nov 8, 2019Updated 6 years ago
- AntiTaintDroid - Escaping Taint Analysis (and stealing private information) on Android for Fun and Profit☆42Feb 18, 2018Updated 8 years ago
- FirmwareDroid is an analysis framework for Android firmware and Apps.☆26Feb 19, 2026Updated 2 weeks ago
- MapGuard is a library that enforces a security policy for mmap based page allocations.☆21Dec 14, 2025Updated 2 months ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Oct 13, 2023Updated 2 years ago
- ☆20Dec 18, 2018Updated 7 years ago
- ☆44Jun 17, 2020Updated 5 years ago
- Librarian: An Empirical Study of Security Updates in Android Apps’ Native Code☆22Jan 22, 2021Updated 5 years ago
- "Reversing WebAssembly Module 101" Workshop (NorthSec 2019, hack.lu 2019)☆22Oct 15, 2020Updated 5 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆56Jun 6, 2021Updated 4 years ago
- A general-purpose, easy-to-use fuzzer with interesting analysis options. Supports feedback-driven code coverage modes.☆23Dec 5, 2017Updated 8 years ago
- expansion of afl-unicorn using c++☆28Aug 29, 2019Updated 6 years ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆65Aug 22, 2023Updated 2 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).☆31Jan 17, 2022Updated 4 years ago
- Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications (NDSS 2022)☆27Feb 14, 2024Updated 2 years ago
- Default query sets for Joern☆27Oct 23, 2021Updated 4 years ago
- Mining API-Level Features for Robust Malware Detection in Android☆24Jan 10, 2018Updated 8 years ago
- ☆22Feb 14, 2017Updated 9 years ago
- Project FlowCog (2017)☆27Aug 23, 2018Updated 7 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- ☆34Nov 11, 2021Updated 4 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Jan 27, 2025Updated last year
- Decode machine code into VEX IR and translate into LLVM IR☆28Jun 1, 2019Updated 6 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- AutoVAS is an automated vulnerability analysis system with a deep learning approach.☆35Sep 2, 2021Updated 4 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- The Fantastic Beasts Framework is a collection of tools for fuzzing the Android OS.☆69Jun 7, 2019Updated 6 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago