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.☆22Updated 11 years ago
- Universum project is a Python solution that simplifies SW project verification by integrating existing CI systems and provides additional…☆17Updated last month
- DOM fuzzers - not maintained anymore☆15Updated 5 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- A Python module that aids in the automation of Firefox at the process level☆32Updated this week
- The Redexer binary instrumentation framework for Dalvik bytecode☆165Updated 3 years ago
- A collection of regression tests for RetDec and associated tools.☆12Updated 9 months ago
- Programmable instrumentation framework for COTS binary☆10Updated 7 years ago
- Python module to detect, analyze and id application bugs☆21Updated 6 months ago
- library for flexible trusted interactions between Android apps☆78Updated 5 years ago
- Downloader for Firefox/jsshell builds for fuzzing.☆37Updated last month
- 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
- 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
- Holodeck is a Fault Injection tool for testing Windows binaries and .NET applications. Holodeck utilizes fault-injection techniques to in…☆42Updated 7 years ago
- INACTIVE - http://mzl.la/ghe-archive - Fuzzing Harness for Firefox Mobile on Android☆40Updated 5 years ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 9 years ago
- Android GuardION patches to mitigate DMA-based Rowhammer attacks on ARM☆75Updated 6 years ago
- Tizen Fundamental Classes is a framework library to develop native application in Tizen using C++ pattern☆17Updated 7 years ago
- Goal-directed static analysis tool for JVM languages.☆57Updated 8 years ago
- Safer integers in C++.☆187Updated 3 years ago
- ☆27Updated 9 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated 7 months ago
- Synthesizer for JavaScript API models☆17Updated last year
- Redress Dissassembler is a cross platform binary disassembler written in Java with Capstone bindings☆24Updated 8 years ago
- A collection of shader compiler bugs.☆49Updated 6 years ago
- Engine for communication with remote kernel debugger (KD, WinDbg) from drivers and applications☆36Updated 11 years ago
- Synthesizing Framework Models for Symbolic Execution☆15Updated 8 years ago
- DroidSafe Android Static Analysis Source Repository☆94Updated 7 years ago
- A REPL for the Android Debug Bridge (ADB)☆123Updated 10 years ago