A Static Analysis Tool For Android Apps
☆20Dec 19, 2025Updated 2 months ago
Alternatives and similar repositories for horndroid
Users that are interested in horndroid are comparing it to the libraries listed below
Sorting:
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 5 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆16Jun 5, 2018Updated 7 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆11Dec 18, 2017Updated 8 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- DroidSafe Android Static Analysis Source Repository☆97Apr 17, 2017Updated 8 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- A smali emulator.☆25Jun 27, 2018Updated 7 years ago
- Proactive Computer Network Defense Strategy - OSINT Real Time Threat Stream - Social/DarkNet - Data Mining☆31Jul 9, 2012Updated 13 years ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- Static Analysis Framework for Android Hybrid Applications☆25Oct 13, 2020Updated 5 years ago
- Proof of concept implementation of fuzzing workload using AFL as the fuzzer and Terraform to codify infrastructure☆31Aug 22, 2019Updated 6 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 2 years ago
- A tool for enumerating the effective privileges of processes on an Android device.☆53May 1, 2014Updated 11 years ago
- Dynamic function binding in C !!!☆27Sep 15, 2020Updated 5 years ago
- ☆31Aug 18, 2025Updated 6 months ago
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- Argus static analysis framework☆197Jul 5, 2023Updated 2 years ago
- Fingerprint a web app using local files as the fingerprint sources☆38May 16, 2017Updated 8 years ago
- Bot per leggere i livelli idrometrici dei fiumi dell'Emilia Romagna riportati da allertameteo.regione.emilia-romagna.it.☆12Updated this week
- swiper for hydrooj | hydrooj轮播图插件☆13Sep 25, 2024Updated last year
- This simple SMB vulnerability MS17-010 scanner is developed to help security professionals to quickly check if a computer is vulnerable t…☆10Jul 24, 2017Updated 8 years ago
- A tool to perform various OSINT techniques, aggregate all the raw data, visualise it on a dashboard, and facilitate alerting and monitori…☆31Apr 22, 2018Updated 7 years ago
- Example Material for SecureState's 2016 Python for Pentesters Webinar☆10Dec 13, 2016Updated 9 years ago
- Examples related to Amazon Lightsail☆12Jul 17, 2024Updated last year
- Abuse adapts to technology. You deserve privacy and compassion.☆13Mar 26, 2017Updated 8 years ago
- PHP Application To Spoof And Send E-mail.☆10Jan 4, 2016Updated 10 years ago
- Automatic Vulnerability Discovery☆38Mar 30, 2019Updated 6 years ago
- Reverse IP Lookup Tool that allows you to use an IP address to identify all websites hosted on a server.☆10Jun 29, 2016Updated 9 years ago
- A malware sandoxed with gdb☆15Jun 27, 2016Updated 9 years ago
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- Rust Intiface CLI (based on buttplug-rs)☆11Jan 16, 2023Updated 3 years ago
- ☆11Oct 19, 2018Updated 7 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Converts burp's sitemap to sulley's fuzzing script☆11Aug 30, 2015Updated 10 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Read and modify constituency trees in Rust.☆10May 5, 2020Updated 5 years ago
- Cheat sheets☆10Jul 4, 2016Updated 9 years ago
- Advanced way to mitigate bot attacks for large networks☆11Mar 3, 2019Updated 7 years ago