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
- ☆34Jan 5, 2017Updated 9 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 6 months ago
- Network Tap based on the ZedBoard and Ethernet FMC☆16Jul 7, 2026Updated last month
- DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.☆19Mar 9, 2016Updated 10 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.
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 12 years ago
- Kiwi PN532 SPI library for Arduino☆15Jul 12, 2026Updated last month
- A collection of Cortana scripts that you may use with Armitage and Cobalt Strike.☆12Jun 20, 2016Updated 10 years ago
- One-pass MAC spoofer for multiple devices (based on libmacouflage).☆16Jun 12, 2017Updated 9 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- Glitching an STM32F103☆14Jun 11, 2018Updated 8 years ago
- Dynamic Symbolic Execution of Android Apps☆24Jan 16, 2016Updated 10 years ago
- ☆18Apr 17, 2018Updated 8 years ago
- Dalvik Monitoring Framework for CuckooDroid☆92Jul 29, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- Telegram bot that sends random pictures with cats and dogs☆14Dec 8, 2022Updated 3 years ago
- Deprecated; please use fcli instead☆27Aug 13, 2025Updated last year
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Jan 23, 2015Updated 11 years 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
- A tool for editing MongoDB collections in a table view☆10Mar 25, 2015Updated 11 years ago
- Search Email Accounts (OWA) for Passwords, PAN numbers as well as other Keywords☆43Mar 24, 2018Updated 8 years ago
- Command line utility for APK fingerprinting☆13Jan 10, 2023Updated 3 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.
- 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☆532Jan 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
- 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
- Used to manage burp extensions that I find useful.☆12Apr 26, 2022Updated 4 years ago
- ☆22Feb 14, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- AppSecPipeline Specification for DevOps automation.☆40Dec 8, 2022Updated 3 years ago
- Auditing behaviour of Android Apps☆38Feb 7, 2017Updated 9 years ago
- Golang code to crawl website, extract links from html, paths from JavaScript code, follow and repeat.☆12Jun 4, 2018Updated 8 years ago
- ☆45Sep 28, 2017Updated 8 years ago
- SJS is a static ahead of time compiler for a subset of JavaScript☆48Apr 7, 2023Updated 3 years ago
- Android Monkey test.☆23Mar 1, 2019Updated 7 years ago
- Veracode security scanning build extension for Visual Studio Team Services☆14Mar 8, 2016Updated 10 years ago