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 analyses of control flow graphs with petgraph.

Experimental APIs

The following features are experimental and the APIs are unstable. The APIs provided by these features may undergo breaking changes from time to time.

• unstable — All the experimental APIs
• unstable-bytecode-generation — Generate JVM bytecode from MokaPot data structures.
• unstable-moka-ir — Moka IR. A register-based, SSA intermediate representation.
• unstable-fixed-point-analyses — Fixed-point analysis framework
• unstable-project-analyses — Project-wide analyses APIs

Modules

analysis

APIs for static analysis.

jvm

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

types

Module containing the APIs for the JVM type system.