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
- ☆16Updated 8 years ago
- library for flexible trusted interactions between Android apps☆78Updated 5 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 8 years ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 9 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 10 years ago
- ☆17Updated 7 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- Programmable instrumentation framework for COTS binary☆10Updated 7 years ago
- android kernel disassembler based on MAME emulator code☆39Updated 11 years ago
- Samsung's upstream contributions to the Chromium open source project☆57Updated 6 months ago
- Universum project is a Python solution that simplifies SW project verification by integrating existing CI systems and provides additional…☆17Updated 3 months 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
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- Static code analysis test source code☆32Updated last year
- Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
- Synthesizing Framework Models for Symbolic Execution☆15Updated 8 years ago
- Morula is a secure replacement of Zygote to fortify weakened ASLR on Android☆15Updated 10 years ago
- Binder Explorer's web backend and front-end☆55Updated last year
- Redress Dissassembler is a cross platform binary disassembler written in Java with Capstone bindings☆24Updated 9 years ago
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- ☆22Updated last week
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 3 years ago
- NSA - NoScript Anywhere (Firefox Mobile add-on)☆8Updated 8 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated 9 months ago
- CVE-2015-2231 POC☆10Updated 9 years ago
- Source code for the beta release of CobraDroid☆14Updated 5 years ago
- A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform fro…☆16Updated 6 years ago
- The Binary Mutation code based on Uroboros☆14Updated 6 years ago
- An advanced memory forensics framework☆25Updated 10 years ago