Skip to content
@ZJU-Automated-Reasoning-Group

ZJU-Programming-Languages-Group

Popular repositories Loading

  1. smtfuzz smtfuzz Public

    A fuzzer for SMT solvers

    Python 19 3

  2. canary canary Public

    Forked from qingkaishi/canary

    A unification-based alias analysis and related tools

    C 8 2

  3. arlib arlib Public

    Automated Reasoning Lib

    Python 6 1

  4. efmc efmc Public

    Software Model Checking via Exists-Forall Solving

    Slash 4

  5. smt-playground smt-playground Public

    C 3

  6. MeGASampler MeGASampler Public

    Forked from chaosite/MeGASampler

    SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints

    SMT 1

Repositories

Showing 10 of 16 repositories
  • z3 Public Forked from Z3Prover/z3

    The Z3 Theorem Prover

    ZJU-Automated-Reasoning-Group/z3’s past year of commit activity
    C 0 1,499 0 0 Updated Sep 1, 2024
  • SVF Public Forked from SVF-tools/SVF

    Static Value-Flow Analysis Framework for Source Code

    ZJU-Automated-Reasoning-Group/SVF’s past year of commit activity
    C 1 440 0 0 Updated Aug 27, 2024
  • libiberty Public
    ZJU-Automated-Reasoning-Group/libiberty’s past year of commit activity
    C 0 0 0 0 Updated Aug 25, 2024
  • SMT Public
    ZJU-Automated-Reasoning-Group/SMT’s past year of commit activity
    Shell 0 0 0 0 Updated Aug 25, 2024
  • efmc Public

    Software Model Checking via Exists-Forall Solving

    ZJU-Automated-Reasoning-Group/efmc’s past year of commit activity
    Slash 4 0 0 0 Updated Aug 13, 2024
  • arlib Public

    Automated Reasoning Lib

    ZJU-Automated-Reasoning-Group/arlib’s past year of commit activity
    Python 6 1 0 0 Updated Aug 13, 2024
  • canary Public Forked from qingkaishi/canary

    A unification-based alias analysis and related tools

    ZJU-Automated-Reasoning-Group/canary’s past year of commit activity
    C 8 AGPL-3.0 16 0 0 Updated Mar 21, 2024
  • PythonStAn Public Forked from lkgv/PythonStAn

    A static analysis framework for Python

    ZJU-Automated-Reasoning-Group/PythonStAn’s past year of commit activity
    Python 0 BSD-3-Clause 1 0 0 Updated Mar 18, 2024
  • fuzzlib Public

    A library for fuzzing

    ZJU-Automated-Reasoning-Group/fuzzlib’s past year of commit activity
    Python 1 0 0 0 Updated Dec 21, 2023
  • 2ls Public Forked from diffblue/2ls

    Static Analyzer and Verifier

    ZJU-Automated-Reasoning-Group/2ls’s past year of commit activity
    C 0 24 0 0 Updated Nov 24, 2023
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…