Recent Projects
1. LIAN（莲花）: Language-Agnostic Program Interpretation and Analysis [source code: Gitee, GitHub]
LIAN is a next-generation static program analysis platform that enables language-agnostic program understanding and analysis. LIAN translates programs from multiple programming languages, including C, LLVM IR, Java, Python, JavaScript, PHP, TypeScript, Go, Rust MIR, and ArkTS, into a unified General Intermediate Representation (GIR). By performing analysis on GIR, LIAN provides a consistent foundation for high-precision program analysis across different languages, including:
- Context-, flow-, and field-sensitive pointer analysis
- Precise taint analysis for vulnerability detection
2. YIAN（易安）: Memory-safe language design and implementation [source code: Gitee, GitHub]
YIAN rethinks systems programming by providing strong memory safety guarantees without requiring unsafe escape hatches or garbage collection. Built on a novel pointer model, YIAN enforces spatial and temporal memory safety while preserving low-level control and performance.
YIAN targets safety-critical domains such as operating systems, embedded firmware, and secure AI runtimes, where reliability cannot be compromised by memory errors and software bugs.
3. A2: A General-Purpose Intelligent Agent Framework
A2 is a general-purpose intelligent agent framework designed to support the development of autonomous AI agents with heterogeneous LLMs. The framework provides a flexible foundation for building agents capable of reasoning, planning, interacting with tools, and executing complex tasks across diverse environments.