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:
- Symbolic/concolic execution of Android apps☆56Mar 8, 2016Updated 10 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆34Oct 25, 2014Updated 12 years ago
- Example of a plugin that can parse non-Fortify security scan results and import them into Fortify Software Security Center.☆12Mar 19, 2022Updated 4 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆17Feb 26, 2026Updated 8 months ago
- ☆13Oct 16, 2026Updated 2 weeks 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.
- A repository of SLEIGH support for rare processor ISAs☆18Updated this week
- DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.☆19Mar 9, 2016Updated 10 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
- Krescue - tiny fast rescue / installation system for ARM SBCs☆11Mar 3, 2023Updated 3 years ago
- DroidMate is an automated GUI execution generator for Android apps.☆40Apr 3, 2020Updated 6 years ago
- A Raspberry Pi Pico (RP2040) based Apple IIe expansion card with USB isolation.☆12Apr 21, 2021Updated 5 years ago
- Synthesizing Framework Models for Symbolic Execution☆15Sep 15, 2016Updated 10 years ago
- Network Tap based on the ZedBoard and Ethernet FMC☆16Oct 12, 2026Updated 3 weeks 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Vendor-Neutral Security Tool Automation Controller (over REST)☆28Jun 28, 2019Updated 7 years ago
- Dalvik Monitoring Framework for CuckooDroid☆92Jul 29, 2016Updated 10 years ago
- A tool for Pentesters & BugHunters to collect IPs of company, server, Operating System & many more☆13Dec 20, 2022Updated 3 years ago
- Glitching an STM32F103☆14Jun 11, 2018Updated 8 years ago
- Test Project for using Apportable and BridgeKit to bridge. iOS to Java☆14Sep 11, 2013Updated 13 years ago
- Doing research on top of Jalangi☆12Sep 9, 2016Updated 10 years ago
- 量子力学趣味简史☆11Jul 16, 2020Updated 6 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆12May 14, 2023Updated 3 years ago
- Project to benchmark and profile Error-Prone performance to uncover bottlenecks.☆12Apr 25, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Kiwi PN532 SPI library for Arduino☆16Jul 12, 2026Updated 3 months ago
- DroidSafe Android Static Analysis Source Repository☆98Apr 17, 2017Updated 9 years ago
- Deprecated; please use fcli instead☆27Aug 13, 2025Updated last year
- A tool for editing MongoDB collections in a table view☆10Mar 25, 2015Updated 11 years ago
- LinearAlloc sample code☆17Nov 28, 2019Updated 6 years ago
- Benchmark and Comparison for Call Graph Algorithms/Frameworks☆11Aug 20, 2026Updated 2 months ago
- ☆45Sep 28, 2017Updated 9 years ago
- Collaboration tool based on real-time text editing☆10Jul 16, 2018Updated 8 years ago
- ☆22Feb 14, 2017Updated 9 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.
- A drop in replacement for django's default admin site that provides two-factor authentication via authy's REST API.☆10Jun 30, 2016Updated 10 years ago
- Search Email Accounts (OWA) for Passwords, PAN numbers as well as other Keywords☆43Mar 24, 2018Updated 8 years ago
- Slides from my Area41 security conference talk in Zurich/CH☆20Aug 3, 2019Updated 7 years ago
- A tool for checking a hash:pass pot file for hashes from a user:hash file☆12Oct 23, 2016Updated 10 years ago
- 面试经验记录☆14Sep 11, 2019Updated 7 years ago
- Android Security☆30Mar 14, 2014Updated 12 years ago
- Python package for generating Linux iptables configurations.☆10Jul 1, 2021Updated 5 years ago