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:
- Dynamic Symbolic Execution of Android Apps☆23Updated 9 years ago
- ☆16Updated 8 years ago
- DroidMate is an automated GUI execution generator for Android apps.☆39Updated 5 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
- The Redexer binary instrumentation framework for Dalvik bytecode☆167Updated 4 years ago
- KLEE in the browser☆52Updated 2 months ago
- INACTIVE - http://mzl.la/ghe-archive - Framboise is a fuzzer for in-depth testing of WebAPIs.☆20Updated 8 years ago
- Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
- DroidSafe Android Static Analysis Source Repository☆97Updated 8 years ago
- Java* Fuzzer for Android*☆12Updated 8 years ago
- Meta-information about the TaintDroid project, tools, etc.☆23Updated 11 years ago
- Common dependency management for various Trail of Bits C++ codebases☆33Updated last year
- Auditing behaviour of Android Apps☆38Updated 8 years ago
- Generic server for collaborative code analysis☆13Updated 8 years ago
- Redress Dissassembler is a cross platform binary disassembler written in Java with Capstone bindings☆24Updated 9 years ago
- INACTIVE - http://mzl.la/ghe-archive - Quokka is a utility to launch and monitor application for faults.☆40Updated 6 years ago
- Security Certifier for anDroid☆58Updated 12 years ago
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 4 years ago
- Python module to detect, analyze and id application bugs☆21Updated 4 months ago
- A Program Analysis Toolkit for Android☆119Updated 8 years ago
- Android GuardION patches to mitigate DMA-based Rowhammer attacks on ARM☆76Updated 7 years ago
- Reverse AIDL tool☆43Updated 10 years ago
- A collection of shader compiler bugs.☆49Updated 7 years ago
- Morula is a secure replacement of Zygote to fortify weakened ASLR on Android☆15Updated 11 years ago
- ☆64Updated 4 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- Programmable UI-Automation Framework for Dynamic App Analysis☆48Updated 11 years ago
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 11 years ago