Samsung / DexterLinks
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
Sorting:
- Tizen Fundamental Classes is a framework library to develop native application in Tizen using C++ pattern☆17Updated 7 years ago
- library for flexible trusted interactions between Android apps☆79Updated 5 years ago
- add class interceptor into dalvik vm☆19Updated 12 years ago
- A REPL for the Android Debug Bridge (ADB)☆124Updated 10 years ago
- Universum project is a Python solution that simplifies SW project verification by integrating existing CI systems and provides additional…☆18Updated 6 months ago
- Morula is a secure replacement of Zygote to fortify weakened ASLR on Android☆15Updated 10 years ago
- Source code for the beta release of CobraDroid☆14Updated 5 years ago
- Fork to enable local modifications☆35Updated 13 years ago
- Application to easily download and install radare2 on android devices☆16Updated 6 years ago
- Very dirty approach to boot U-Boot on Samsung I9300. NOTE: It does NOT boot kernel and will eat your cat. For an actually working bootloa…☆15Updated 11 years ago
- android kernel disassembler based on MAME emulator code☆39Updated 11 years ago
- Synthesizing Framework Models for Symbolic Execution☆15Updated 8 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- Migrated:☆29Updated 5 years ago
- The Redexer binary instrumentation framework for Dalvik bytecode☆167Updated 4 years ago
- ☆88Updated 4 years ago
- ☆17Updated 7 years ago
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 4 years ago
- Dynamic Symbolic Execution of Android Apps☆23Updated 9 years ago
- Reverse AIDL tool☆44Updated 10 years ago
- Dynamic instrumentation of the Linux kernel☆40Updated 10 years ago
- ☆23Updated this week
- Android Ethernet AOSP☆46Updated 12 years ago
- Programmable instrumentation framework for COTS binary☆10Updated 7 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
- Mirror of git://android.git.kernel.org/platform/frameworks/base.git with TaintDroid additions (Mirror lags official Android)☆35Updated 9 years ago
- A Fork of Auditd geared specifically for running on the Android platform. Includes system applications, AOSP patches, and kernel patches …☆45Updated 12 years ago
- A Program Analysis Toolkit for Android☆118Updated 8 years ago
- DroidSafe Android Static Analysis Source Repository☆96Updated 8 years ago
- odex crc patcher☆11Updated 7 years ago