Software Analysis Lab. @ Korea University

Pinned Repositories

adapt
ADAPT is the open source white-box testing framework for deep neural networks
Language:Jupyter Notebook20 3 145
AlphaRegexPublic
Language:OCaml33 4 35
MicSE
The Michelson Symbolic vErifier
Language:OCaml13 4 280
npex
Language:Java14 1 132
ParaDySE
Language:C32 4 07
PyTER
Language:Python12 1 34
SeamFuzz-Artifact
SeamFuzz Artifact repository for ICSE 2023
Language:C11 2 11
SmartFix-Artifact
Language:Solidity9 3 02
VeriSmart-benchmarks
Language:Solidity55 6 216
VeriSmart-public
a safety verifier for Solidity smart contracts
Language:OCaml84 5 1323

Software Analysis Lab. @ Korea University's Repositories

kupl/VeriSmart-public
a safety verifier for Solidity smart contracts
Language:OCaml84 5 1323
kupl/VeriSmart-benchmarks
Language:Solidity55 6 216
kupl/adapt
ADAPT is the open source white-box testing framework for deep neural networks
Language:Jupyter Notebook20 3 145
kupl/npex
Language:Java14 1 132
kupl/MicSE
The Michelson Symbolic vErifier
Language:OCaml13 4 280
kupl/PyTER
Language:Python12 1 34
kupl/SeamFuzz-Artifact
SeamFuzz Artifact repository for ICSE 2023
Language:C11 2 11
kupl/SmartFix-Artifact
Language:Solidity9 3 02
kupl/Graphick
Language:Shell8 4 62
kupl/LearnML
A framework for generating personalized feedbacks on functional programming assignments
Language:OCaml8 1 01
kupl/Diver
Language:Python4 1 1
kupl/Diver-Artifact
Language:Python4 2 00
kupl/starlab-benchmarks
Repository for Software STARLAB benchmarks
Language:Java4 3 742
kupl/SAVER_public
Language:C3 2 15
kupl/AAA616-2022Fall
Language:OCaml2 1 00
kupl/Data-Driven-Pointsto-Analysis
Data-Driven Context-Sensitivity for Points-to Analysis
Language:Shell2 2 0
kupl/qsyn
Artifact for paper Modular Component-based Quantum Circuit Synthesis
Language:Python2 2 00
kupl/CutFuzz
Language:Python1 2 0
kupl/erc-group2-framework
Language:Python1 2 11
kupl/kaprese-engines
Language:Python1 3 2
kupl/kupl.github.io
Language:HTML1 3 03
kupl/SeamFuzz-public
Public repository for SeamFuzz
Language:C1 2 1
kupl/kaprese
Language:Python3 27
kupl/MicSE-Public
A Tool for Verifying and Refuting Smart Contract of Tezos
Language:OCaml1 0
kupl/PL4XGL
Language:Python
kupl/PointerAnalysis_GNN
Language:Java2 0
kupl/PyinderData
Language:Python2 0
kupl/revise-22f
Language:OCaml2 0
kupl/revise-lang
Language:OCaml2 0
kupl/Smartest-validation
for TTA validation
Language:Solidity2 0