Architecture: Concept - Milo-D/libvmcu-Virtual-MCU-Library GitHub Wiki
Static Analysis
By analyzing a binary with libvmcu, you'll receive a reference to a report structure. A report resembles a brief summary of the binary and contains (hopefully) useful information.
Dynamic Analysis
You can emulate a binary by initializing an instance of the system structure. A system resembles an AVR microcontroller. You can interact with the system by calling system methods (engine/include/libvmcu/libvmcu_system.h) like vmcu_system_step, vmcu_system_dump_gpr, etc.
Note: The concept of the dynamic analysis will probably change with time.