Recent Projects
1. Intelligent code security analysis [source code: GITEE, GITHUB]
Lian conducts precise code semantic analysis with multi-language support (e.g., C/LLVM/Java/Python/JavaScript/PHP/Typescript/ArkTS), and a comprehensive suite of semantic understanding techniques:
- Interprocedural data flow analysis
- Context-, field-, flow-, and branch-sensitive program state analysis
- Taint analysis