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
- this is a web program that can help you export and reduction you notes which in the KINDLE☆10Jul 19, 2017Updated 9 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆33Oct 25, 2014Updated 11 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.
- 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
- Javacard Applet for functioning paypass credential☆13Sep 26, 2013Updated 12 years ago
- Network Tap based on the ZedBoard and Ethernet FMC☆15Jul 7, 2026Updated 2 weeks ago
- A Raspberry Pi Pico (RP2040) based Apple IIe expansion card with USB isolation.☆12Apr 21, 2021Updated 5 years ago
- 量子力学趣味简史☆11Jul 16, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Synthesizing Framework Models for Symbolic Execution☆15Sep 15, 2016Updated 9 years ago
- 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
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- Kiwi PN532 SPI library for Arduino☆15Jul 12, 2026Updated last week
- A collection of Cortana scripts that you may use with Armitage and Cobalt Strike.☆12Jun 20, 2016Updated 10 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- My customized docker image used for binary exploitation and RE☆14Jul 3, 2021Updated 5 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆51Feb 14, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- Dynamic Symbolic Execution of Android Apps☆24Jan 16, 2016Updated 10 years ago
- ☆18Apr 17, 2018Updated 8 years ago
- Upload shots to dribbble.com☆14Mar 27, 2012Updated 14 years ago
- Dalvik Monitoring Framework for CuckooDroid☆92Jul 29, 2016Updated 9 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
- 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.
- 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
- Deprecated; please use fcli instead☆27Aug 13, 2025Updated 11 months ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Nov 24, 2015Updated 10 years ago
- DroidSafe Android Static Analysis Source Repository☆98Apr 17, 2017Updated 9 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago
- ☆25Oct 23, 2025Updated 8 months ago