Modules

• module Arch Module regrouping classes and enums used to represent various computer architectures.
• module Constraints Expressing constraints on abstract expressions.
• module Engine The main Maat engine interface for users.
• module Environment Simulation of the external environment in which a process is run.
• module Events Instrumenting the engine with event hooks.
• module Exceptions Custom Maat exceptions.
• module Expressions Creating and manipulating abstract expressions.
• module IR Maat's binary code Intermediate Representation.
• module Loader The main interface to load an executable file in Maat's engine.
• module Memory Modeling a process's main memory.
• module Serialization Maat's serialization utilities.
• module Solver The Maat's constraint solver interface.
• module Stats Statistics and introspection features.