Crate mokapot

Source
Expand description

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.
  • unstable — Experimental APIs
  • unstable-bytecode-generation — Experimental bytecode generation
  • unstable-moka-ir — Experimental Moka IR
  • unstable-fixed-point-analyses — Experimental fixed-point analyses
  • unstable-project-analyses — Experimental project-wide analyses

Modules§

analysis
APIs for static analysis.
irunstable-moka-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.