Recent Projects

1. General Language Analysis Platform

In this project, we aim to achieve precise program analysis through multi-language support, including: C/LLVM/Java/Python/JavaScript/PHP/Typescript/ArkTS.

The platform offers a comprehensive suite of precise program analysis techniques:

• Control Flow Analysis
• Context-, Field-, Flow-, and Branch-Sensitive Memory State Analysis
• Taint Analysis

2. Enhancing C/C++ Security

C/C++ have been prevalent in past years but often suffer from serious security vulnerabilities. Our goal is to enhance the security of these languages through advanced analysis and mitigation techniques.

3. AI System Optimization

In this project, we aim to boost the performance of AI frameworks by fully utilizing the capabilities of current diverse hardware architectures. This includes optimizing for CPUs, GPUs, TPUs, and other specialized hardware to maximize efficiency and throughput.