design

Architecture

The LIAN system comprises three core modules, as shown in the diagram below:

• Language Frontend: Converts source code into GIR for standardized processing.

• Semantic Analysis Engine: Implements a layered analysis strategy, including:

• Basic analysis

• Function summary-based analysis

• Global analysis Generates multi-level semantic results (control flow, data flow, state flow).

• Infrastructure: Provides memory/file management (previons memory exhaustion) and a plugin system for extensibility.