Expand description
Welcome to MokaPot
, a library to faciliate the analysis of JVM bytecode.
§Features
jar
(enabled by default) — Enables loading classes from.jar
filespetgraph
(enabled by default) — Enables the analysis of control flow graphs withpetgraph
.
Modules§
- APIs for static analysis.
MokaIR
is 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.