Static Program Analysis for Reliable Trusted Apps
☆24Nov 29, 2018Updated 7 years ago
Alternatives and similar repositories for sparta
Users that are interested in sparta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- ☆34Jan 5, 2017Updated 9 years ago
- Tools for type annotations in Java☆41Jul 10, 2025Updated last year
- Automatically exported from code.google.com/p/type-inference☆27Jan 22, 2019Updated 7 years ago
- Pluggable type-checking for Java☆30Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Krescue - tiny fast rescue / installation system for ARM SBCs☆11Mar 3, 2023Updated 3 years ago
- A libparse implementation of a Dex parser☆22Jun 6, 2013Updated 13 years ago
- Javacard Applet for functioning paypass credential☆13Sep 26, 2013Updated 13 years ago
- Network Tap based on the ZedBoard and Ethernet FMC☆16Oct 2, 2026Updated last week
- 量子力学趣味简史☆11Jul 16, 2020Updated 6 years ago
- Extract the part of JavaHook in the Xposed. Usage: Inject one process to load libtest.so, then enter the Java world and hook the java fun…☆26Jul 23, 2015Updated 11 years ago
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆45Oct 13, 2020Updated 6 years ago
- DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.☆19Mar 9, 2016Updated 10 years ago
- A collection of Cortana scripts that you may use with Armitage and Cobalt Strike.☆12Jun 20, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- JVM Abstracting Abstract Machine☆26Jan 29, 2019Updated 7 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆51Feb 14, 2020Updated 6 years ago
- A tool for Pentesters & BugHunters to collect IPs of company, server, Operating System & many more☆13Dec 20, 2022Updated 3 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆12May 14, 2023Updated 3 years ago
- Dalvik Monitoring Framework for CuckooDroid☆92Jul 29, 2016Updated 10 years ago
- Vendor-Neutral Security Tool Automation Controller (over REST)☆28Jun 28, 2019Updated 7 years ago
- docker build nessus with unlimited ip☆13Aug 23, 2021Updated 5 years ago
- LinearAlloc sample code☆17Nov 28, 2019Updated 6 years ago
- Telegram bot that sends random pictures with cats and dogs☆14Dec 8, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Deprecated; please use fcli instead☆27Aug 13, 2025Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Nov 24, 2015Updated 10 years ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 7 years ago
- DroidSafe Android Static Analysis Source Repository☆98Apr 17, 2017Updated 9 years ago
- ☆25Oct 23, 2025Updated 11 months ago
- Analyser for the ISO7816 smart cards and SIM card protocol to be used with the Logic Analyser of Saleae.☆13Nov 2, 2018Updated 7 years ago
- Benchmark apps for static analyzing inter-component data leakage problem of Android apps.☆19Jun 20, 2017Updated 9 years ago
- Yet another static code analyzer for malicious Android applications☆534Jan 21, 2020Updated 6 years ago
- Documentation and notes on using the Hiew editor.☆18Mar 22, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Slides from my Area41 security conference talk in Zurich/CH☆20Aug 3, 2019Updated 7 years ago
- Canopy blog data that powers ICFP liveblog☆16Nov 2, 2016Updated 9 years ago
- Large Scale Cumulative Binary Diffing.☆25Mar 10, 2018Updated 8 years ago
- LEIA: the Lab Embedded ISO7816 Analyzer A Custom Smartcard Reader for the ChipWhisperer PCB☆23Nov 9, 2021Updated 4 years ago
- ☆22Feb 14, 2017Updated 9 years ago
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆25Feb 11, 2024Updated 2 years ago
- Android Security☆29Mar 14, 2014Updated 12 years ago