Static Program Analysis for Reliable Trusted Apps
☆23Nov 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
- Symbolic/concolic execution of Android apps☆56Mar 8, 2016Updated 10 years ago
- ☆34Jan 5, 2017Updated 9 years ago
- Tools for type annotations in Java☆40Jul 10, 2025Updated last year
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆33Oct 25, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Automatically exported from code.google.com/p/type-inference☆27Jan 22, 2019Updated 7 years ago
- Pluggable type-checking for Java☆30Updated this week
- 'Feya' is a repo for code snippet tweaking. Nothing can be found here.☆14Sep 24, 2018Updated 7 years ago
- 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
- Network Tap based on the ZedBoard and Ethernet FMC☆16Jul 7, 2026Updated last month
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆45Oct 13, 2020Updated 5 years ago
- DroidMate is an automated GUI execution generator for Android apps.☆40Apr 3, 2020Updated 6 years ago
- DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.☆19Mar 9, 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☆25Jan 29, 2019Updated 7 years ago
- Glitching an STM32F103☆14Jun 11, 2018Updated 8 years ago
- A tool for Pentesters & BugHunters to collect IPs of company, server, Operating System & many more☆13Dec 20, 2022Updated 3 years ago
- Source code for our "What the App is That? Deception and Countermeasures in the Android User Interface" paper☆19May 21, 2015Updated 11 years ago
- ☆18Apr 17, 2018Updated 8 years ago
- Dalvik Monitoring Framework for CuckooDroid☆92Jul 29, 2016Updated 10 years ago
- Android Quality Control: PMD, Findbugs and Checkstyle. Gradle and Jenkins reports☆13Apr 26, 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 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Telegram bot that sends random pictures with cats and dogs☆14Dec 8, 2022Updated 3 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Jan 23, 2015Updated 11 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
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 14 years 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☆531Jan 21, 2020Updated 6 years ago
- Documentation and notes on using the Hiew editor.☆18Mar 22, 2022Updated 4 years ago
- Slides from my Area41 security conference talk in Zurich/CH☆20Aug 3, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Canopy blog data that powers ICFP liveblog☆16Nov 2, 2016Updated 9 years ago
- Shared components for Buffer Android apps☆19Jun 4, 2025Updated last year
- 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
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆25Feb 11, 2024Updated 2 years ago
- ☆22Feb 14, 2017Updated 9 years ago
- Android Security☆29Mar 14, 2014Updated 12 years ago