Crate mokapot

Welcome to MokaPot, a library to facilitate the analysis of JVM bytecode.

Features

• jar (enabled by default) — Enables loading classes from .jar files
• petgraph (enabled by default) — Enables the analysis of control flow graphs with petgraph.

Modules

analysis

APIs for static analysis.

ir

MokaIR is an intermediate representation of JVM bytecode. It is register based and is in SSA form, which make it easier to analyze.

jvm

JVM elements, such as classes, methods, fields, and annotations.

types

Module containing the APIs for the JVM type system.