Samsung / Dexter
Dexter is a static analysis platform to find and remove defects efficiently and immediately during the coding-time.
☆57Updated 6 years ago
Alternatives and similar repositories for Dexter:
Users that are interested in Dexter are comparing it to the libraries listed below
- Meta-information about the TaintDroid project, tools, etc.☆23Updated 11 years ago
- The Redexer binary instrumentation framework for Dalvik bytecode☆166Updated 3 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated 8 months ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 9 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 10 years ago
- DroidSafe Android Static Analysis Source Repository☆94Updated 7 years ago
- android kernel disassembler based on MAME emulator code☆39Updated 11 years ago
- Mirror of PScout (http://pscout.csl.toronto.edu/).☆23Updated 10 years ago
- Synthesizing Framework Models for Symbolic Execution☆15Updated 8 years ago
- Android Dynamic Binary Instrumentation tool for tracing Android native layer☆306Updated last year
- Binary Instrumentation of Android Apps☆69Updated 8 years ago
- library for flexible trusted interactions between Android apps☆78Updated 5 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
- Redress Dissassembler is a cross platform binary disassembler written in Java with Capstone bindings☆24Updated 8 years ago
- Programmable instrumentation framework for COTS binary☆10Updated 7 years ago
- ☆16Updated 8 years ago
- Morula is a secure replacement of Zygote to fortify weakened ASLR on Android☆15Updated 10 years ago
- A Python module that aids in the automation of Firefox at the process level☆32Updated 2 weeks ago
- DOM fuzzers - not maintained anymore☆15Updated 5 years ago
- Application to easily download and install radare2 on android devices☆16Updated 5 years ago
- Source code for the beta release of CobraDroid☆14Updated 5 years ago
- A REPL for the Android Debug Bridge (ADB)☆123Updated 10 years ago
- A Program Analysis Toolkit for Android☆118Updated 7 years ago
- ☆10Updated 10 years ago
- Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
- Security Certifier for anDroid☆59Updated 11 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 8 years ago
- ☆21Updated 11 years ago
- Main goal of project is to reduce probability of key leaking from device. CKM stores symmetric and asymmetric keys and provides crypto op…☆14Updated 9 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago