Samsung / DexterLinks
Dexter is a static analysis platform to find and remove defects efficiently and immediately during the coding-time.
☆56Updated 6 years ago
Alternatives and similar repositories for Dexter
Users that are interested in Dexter are comparing it to the libraries listed below
Sorting:
- DroidMate is an automated GUI execution generator for Android apps.☆39Updated 5 years ago
 - library for flexible trusted interactions between Android apps☆80Updated 6 years ago
 - The Redexer binary instrumentation framework for Dalvik bytecode☆168Updated 4 years ago
 - ☆16Updated 8 years ago
 - A Program Analysis Toolkit for Android☆120Updated 8 years ago
 - Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
 - Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 11 years ago
 - Auditing behaviour of Android Apps☆38Updated 8 years ago
 - Security Certifier for anDroid☆58Updated 12 years ago
 - Holodeck is a Fault Injection tool for testing Windows binaries and .NET applications. Holodeck utilizes fault-injection techniques to in…☆42Updated 7 years ago
 - Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
 - Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 4 years ago
 - Automated GUI testing utility developed for Marvin-dynamic-analyzer.☆16Updated 9 years ago
 - Dynamic Symbolic Execution of Android Apps☆23Updated 9 years ago
 - Android Debug Bridge (ADB) Protocol Parser for Wireshark☆30Updated 12 years ago
 - Framework model for static analysis of Android☆46Updated 9 years ago
 - DroidSafe Android Static Analysis Source Repository☆97Updated 8 years ago
 - Common dependency management for various Trail of Bits C++ codebases☆33Updated last year
 - Secure Coding Validation Suite☆70Updated 12 years ago
 - Android Dynamic Binary Instrumentation tool for tracing Android native layer☆310Updated 2 years ago
 - Meta-information about the TaintDroid project, tools, etc.☆23Updated 11 years ago
 - Symbolic/concolic execution of Android apps☆56Updated 9 years ago
 - ☆64Updated 4 years ago
 - Synthesizer for JavaScript API models☆17Updated 2 years ago
 - OWASP Seraphimdroid is an open source project with aim to create, as a community, an open platform for education and protection of Androi…☆67Updated 5 years ago
 - Android GuardION patches to mitigate DMA-based Rowhammer attacks on ARM☆76Updated 7 years ago
 - A Python module that enables the automation of Firefox☆33Updated 2 months ago
 - INACTIVE - http://mzl.la/ghe-archive - Quokka is a utility to launch and monitor application for faults.☆40Updated 6 years ago
 - KLEE in the browser☆52Updated last month
 - Android app for trying Intents, Content Providers and Binder interfaces☆18Updated 8 years ago