Expand description
Welcome to MokaPot, a library to faciliate the analysis of JVM bytecode.
§Features
jar(enabled by default) — Enables loading classes from.jarfilespetgraph(enabled by default) — Enables the analysis of control flow graphs withpetgraph.
Modules§
- APIs for static analysis.
MokaIRis an intermediate representation of JVM bytecode. It is register based and is in SSA form, which make it easier to analyze.- JVM elements, such as classes, methods, fields, and annotations.
- Module containing the APIs for the JVM type system.