Skip to content
@ZJU-PL

ZJU Programming Languages and Automated Reasoning Group

README.md

🔬 Research Areas

  • Program Analysis & Verification
  • Program Synthesis & Optimizations
  • Logic & Automated Reasoning

🛠️ Open-Source Projects

  • lotus - Program analysis, verification, and optimization framework over LLVM IR
  • pyflow - Static analysis framework for Python
  • RepoAudit++ - LLM-driven repol-level code auditor
  • Aria - Library for constraint solving, theorem proving, and symbolic computation.

🔬 研究方向

  • 程序分析与验证
  • 程序合成与优化
  • 逻辑与自动推理

🛠️ 开源项目

  • lotus - 面向LLVM IR的程序分析、验证与优化框架
  • pyflow - Python静态分析框架
  • RepoAudit++ - LLM驱动的仓库级代码审计
  • Aria - 自动推理库

Popular repositories Loading

  1. lotus lotus Public

    A program analysis, verification, and optimization framework

    C++ 25 6

  2. aria aria Public

    Automated Reasoning Infrastructure & Applications

    SMT 14 5

  3. efmc efmc Public archive

    Software model checking via exists-forall solving

    SMT 9 3

  4. RepoAudit RepoAudit Public

    Forked from PurCL/RepoAudit

    An autonomous LLM-agent for large-scale, repository-level code auditing

    Python 6

  5. veripy veripy Public

    Auto-Active Verifier for Python

    Python 4

  6. jsflow jsflow Public

    Python 3 1

Repositories

Showing 10 of 11 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…