Thanks to visit codestin.com
Credit goes to github.com

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.

Popular repositories Loading

  1. lotus lotus Public

    LLVM-based Static Analysis Framework

    C++ 41 13

  2. aria aria Public

    Automated Reasoning Infrastructure & Applications

    SMT 15 5

  3. hintpilot hintpilot Public

    Code for the paper "HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization"

    Python 10

  4. efmc efmc Public

    Software model checking via exists-forall solving

    SMT 9 3

  5. pyflow pyflow Public

    A static analysis framework for Python

    Python 9 5

  6. RepoAudit RepoAudit Public

    Forked from PurCL/RepoAudit

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

    Python 6

Repositories

Showing 10 of 12 repositories
  • lotus Public

    LLVM-based Static Analysis Framework

    ZJU-PL/lotus's past year of commit activity
    C++ 41 13 0 0 Updated Sep 14, 2026
  • probejs Public

    Vulnerability detection for JavaScript and TypeScript

    ZJU-PL/probejs's past year of commit activity
    Python 2 0 0 0 Updated Sep 4, 2026
  • pyflow Public

    A static analysis framework for Python

    ZJU-PL/pyflow's past year of commit activity
    Python 9 Apache-2.0 5 0 0 Updated Sep 3, 2026
  • ELINAplusplus Public

    Abstract interpretation library

    ZJU-PL/ELINAplusplus's past year of commit activity
    C 2 0 0 0 Updated Aug 29, 2026
  • aria Public

    Automated Reasoning Infrastructure & Applications

    ZJU-PL/aria's past year of commit activity
    SMT 15 MIT 5 0 0 Updated Aug 22, 2026
  • static-analyzer-factory Public Forked from Static-Analyzer-Factory/static-analyzer-factory
    ZJU-PL/static-analyzer-factory's past year of commit activity
    Rust 0 MIT 6 0 0 Updated Aug 13, 2026
  • .github Public

    .github

    ZJU-PL/.github's past year of commit activity
    0 0 0 0 Updated Jul 24, 2026
  • efmc Public

    Software model checking via exists-forall solving

    ZJU-PL/efmc's past year of commit activity
    SMT 9 MIT 3 0 0 Updated Jul 23, 2026
  • veripy Public

    Auto-Active Verifier for Python

    ZJU-PL/veripy's past year of commit activity
    Python 4 MIT 0 0 0 Updated Jul 21, 2026
  • hintpilot Public

    Code for the paper "HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization"

    ZJU-PL/hintpilot's past year of commit activity
    Python 10 MIT 0 1 0 Updated Apr 17, 2026
View all repositories

People

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