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
- 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
- Morula is a secure replacement of Zygote to fortify weakened ASLR on Android☆15Updated 10 years ago
- Programmable instrumentation framework for COTS binary☆10Updated 7 years ago
- ☆22Updated this week
- Meta-information about the TaintDroid project, tools, etc.☆22Updated 11 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- Garbage collector for Escargot☆13Updated 8 months ago
- android kernel disassembler based on MAME emulator code☆39Updated 11 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated 7 months ago
- An Android port of the general purpose honggfuzz fuzzer☆17Updated 9 years ago
- Source code for the beta release of CobraDroid☆14Updated 4 years ago
- Universum project is a Python solution that simplifies SW project verification by integrating existing CI systems and provides additional…☆17Updated last month
- ☆16Updated 6 years ago
- DOM fuzzers - not maintained anymore☆15Updated 5 years ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 9 years ago
- The Redexer binary instrumentation framework for Dalvik bytecode☆165Updated 3 years ago
- Synthesizing Framework Models for Symbolic Execution☆15Updated 8 years ago
- NSA - NoScript Anywhere (Firefox Mobile add-on)☆8Updated 8 years ago
- SMC Utility for Apple Macintosh Computers☆13Updated 10 years ago
- An Android port of the melkor ELF fuzzer☆59Updated 10 years ago
- Security Certifier for anDroid☆59Updated 11 years ago
- Python module to detect, analyze and id application bugs☆21Updated 7 months ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Updated 9 years ago
- Library to support various Hash-based Message Authentication Codes (HMAC)☆10Updated 3 months ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- NVIDIA CPU microcode☆13Updated 9 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
- Fork to enable local modifications☆35Updated 12 years ago
- Programmable UI-Automation Framework for Dynamic App Analysis☆47Updated 10 years ago
- Manage & generate prefs.js files☆11Updated 2 weeks ago