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
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- simple privilege access control service☆26Updated 7 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
- Dynamic Symbolic Execution of Android Apps☆22Updated 9 years ago
- Universum project is a Python solution that simplifies SW project verification by integrating existing CI systems and provides additional…☆17Updated 4 months 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
- Dynamic instrumentation of the Linux kernel☆41Updated 10 years ago
- Meta-information about the TaintDroid project, tools, etc.☆23Updated 11 years ago
- Samsung's upstream contributions to the Chromium open source project☆57Updated 7 months ago
- Automated Testing Tool for Android Applications.☆60Updated 10 years ago
- Fork to enable local modifications☆35Updated 12 years ago
- Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
- Programmable instrumentation framework for COTS binary☆10Updated 7 years ago
- A REPL for the Android Debug Bridge (ADB)☆124Updated 10 years ago
- ARTist's deployment application, for code-injection on an Android device.☆37Updated 5 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated 10 months ago
- WSO2Mobile MDM Android Agent☆28Updated 7 years ago
- Android Debug Bridge (ADB) Protocol Parser for Wireshark☆29Updated 11 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 8 years ago
- The GSM parser used for GSMmap and SnoopSnitch (SRLabs)☆33Updated 10 years ago
- ☆63Updated 3 years ago
- Synthesizer for JavaScript API models☆17Updated 2 years ago
- NSA - NoScript Anywhere (Firefox Mobile add-on)☆8Updated 8 years ago
- android kernel disassembler based on MAME emulator code☆39Updated 11 years ago
- Morula is a secure replacement of Zygote to fortify weakened ASLR on Android☆15Updated 10 years ago
- ☆17Updated 7 years ago
- A collection of regression tests for RetDec and associated tools.☆12Updated 2 months ago
- binary toolkit☆12Updated 8 years ago
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆13Updated 2 years ago
- Auditing behaviour of Android Apps☆38Updated 8 years ago