Redexer is a reengineering tool that manipulates Android app binaries. This tool is able to parse a DEX file into an in-memory data structure; to infer with which parameters the app uses certain permissions (we name this feature RefineDroid); to modify and unparse that data structure to produce an output DEX file (we name these features Dr. Android, which stands for Dalvik Rewriting for Android). Publications Dr. Android and Mr. Hide: Fine-grained Permissions in Android Applications. Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, and Todd Millstein. In ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM '12), Oct 2012. Requirements OCaml and Ruby This tool is tested under OCaml 4.09.0 and Ruby 1.8.6(7), so you need to install them (or higher versions of them). OCaml package/library manager and SHA library To manipulate a SHA-1 signature (hash) in the DEX format, we utilize OCaml SHA library via ocamlfind/findlib, an OCaml library manager. The easiest way to install both is using OPAM, an OCaml package manager, which has both packages---OPAM ocamlfind and OPAM sha. You can also build and/
FEATURES
EXPLORE BY TAGS
SIMILAR TOOLS
Code to prevent a managed .NET debugger/profiler from working.
A collaborative malware analysis framework with various features for automated analysis tasks.
A tool that extracts and deobfuscates strings from malware binaries using advanced static analysis techniques.
PinCTF is a tool for using Intel's Pin Tool to instrument reverse engineering binaries and count instructions.
A static analysis tool for PE files that detects malicious behavior and provides information for manual analysis.
Joe Sandbox Community provides automated cloud-based malware analysis across multiple OS platforms.
An open source machine code decompiler that converts binary executables into readable C source code across multiple architectures and file formats.
A program to manage yara ruleset in a database with support for different databases and configuration options.
PINNED

Checkmarx SCA
A software composition analysis tool that identifies vulnerabilities, malicious code, and license risks in open source dependencies throughout the software development lifecycle.

Orca Security
A cloud-native application protection platform that provides agentless security monitoring, vulnerability management, and compliance capabilities across multi-cloud environments.

DryRun
A GitHub application that performs automated security code reviews by analyzing contextual security aspects of code changes during pull requests.