Skip to content

@kupl Software Analysis Lab. @ Korea University

Change the repository type filter

All

    Repositories list

    64 repositories

    • Verismart-verification-public

      Public
      Solidity
      •0•0•0•0•Updated Oct 5, 2024Oct 5, 2024

    • kupl.github.io

      Public
      HTML
      •3•1•0•0•Updated Oct 2, 2024Oct 2, 2024

    • PyinderArtifact

      Public
      Artifact for Pyinder accepted in ASE 2024
      Python
      •
      MIT License
      •0•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • NPETestArtifact

      Public
      Java
      •
      Other
      •0•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • FpaaTestArtifact

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Aug 31, 2024Aug 31, 2024

    • Pyinder

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • erc-group2-framework

      Public
      Python
      •1•1•1•0•Updated Aug 26, 2024Aug 26, 2024

    • CutFuzz

      Public
      Python
      •
      MIT License
      •0•1•0•0•Updated May 30, 2024May 30, 2024

    • PL4XGL

      Public
      Python
      •0•4•0•0•Updated May 2, 2024May 2, 2024

    • SAVER_public

      Public
      C
      •
      Other
      •4•3•1•0•Updated Mar 31, 2024Mar 31, 2024

    • PyTER

      Public
      Python
      •
      Other
      •5•12•2•0•Updated Jan 30, 2024Jan 30, 2024

    • starlab-benchmarks

      Public
      Repository for Software STARLAB benchmarks
      Java
      •
      Other
      •2•4•5•0•Updated Jan 15, 2024Jan 15, 2024

    • PyinderData

      Public
      Python
      •0•0•0•0•Updated Dec 16, 2023Dec 16, 2023

    • kaprese

      Public
      Python
      •
      MIT License
      •0•0•9•0•Updated Nov 29, 2023Nov 29, 2023

    • kaprese-engines

      Public
      Python
      •
      MIT License
      •0•1•1•0•Updated Nov 24, 2023Nov 24, 2023

    • qsyn

      Public
      Artifact for paper Modular Component-based Quantum Circuit Synthesis
      Python
      •
      MIT License
      •0•2•0•0•Updated Nov 8, 2023Nov 8, 2023

    • npex

      Public
      Java
      •
      MIT License
      •2•14•4•0•Updated Oct 11, 2023Oct 11, 2023

    • SeamFuzz-public

      Public
      Public repository for SeamFuzz
      C
      •
      Other
      •0•1•1•0•Updated Oct 10, 2023Oct 10, 2023

    • SmartFix-Artifact

      Public
      Solidity
      •
      Other
      •3•10•0•0•Updated Oct 10, 2023Oct 10, 2023

    • PointerAnalysis_GNN

      Public
      Java
      •0•0•0•0•Updated Jul 20, 2023Jul 20, 2023

    • Graphick

      Public
      Shell
      •
      MIT License
      •2•8•0•0•Updated Apr 26, 2023Apr 26, 2023

    • Data-Driven-Pointsto-Analysis

      Public
      Data-Driven Context-Sensitivity for Points-to Analysis
      Shell
      •0•2•0•0•Updated Apr 26, 2023Apr 26, 2023

    • revise-22f

      Public archive
      ocaml
      OCaml
      •
      MIT License
      •0•0•0•0•Updated Apr 13, 2023Apr 13, 2023

    • revise-lang

      Public
      OCaml
      •
      MIT License
      •0•0•0•0•Updated Apr 13, 2023Apr 13, 2023

    • adapt

      Public
      ADAPT is the open source white-box testing framework for deep neural networks
      testingwhite-box-testingadaptdeep-neural-network
      Jupyter Notebook
      •
      MIT License
      •5•21•0•0•Updated Mar 15, 2023Mar 15, 2023

    • MicSE-Public

      Public
      A Tool for Verifying and Refuting Smart Contract of Tezos
      OCaml
      •
      MIT License
      •0•0•0•0•Updated Mar 14, 2023Mar 14, 2023

    • LearnML

      Public
      A framework for generating personalized feedbacks on functional programming assignments
      OCaml
      •
      MIT License
      •1•8•0•0•Updated Mar 6, 2023Mar 6, 2023

    • Diver-Artifact

      Public
      Python
      •
      MIT License
      •0•7•0•0•Updated Feb 11, 2023Feb 11, 2023

    • SeamFuzz-Artifact

      Public
      SeamFuzz Artifact repository for ICSE 2023
      C
      •
      Other
      •2•13•1•0•Updated Feb 10, 2023Feb 10, 2023

    • MicSE

      Public
      The Michelson Symbolic vErifier
      OCaml
      •
      MIT License
      •0•13•4•0•Updated Feb 3, 2023Feb 3, 2023