Software Analysis Lab. @ Korea University

Software Analysis Lab. @ Korea University's repositories

VeriSmart-public

a safety verifier for Solidity smart contracts

Language:OCamlNOASSERTION83 5 13

VeriSmart-benchmarks

Language:Solidity55 6 2

adapt

ADAPT is the open source white-box testing framework for deep neural networks

Language:Jupyter NotebookMIT20 3 14

npex

Language:JavaMIT14 1 13

MicSE

The Michelson Symbolic vErifier

Language:OCamlMIT13 4 28

PyTER

Language:PythonNOASSERTION11 1 2

SeamFuzz-Artifact

SeamFuzz Artifact repository for ICSE 2023

Language:CNOASSERTION11 2 1

SmartFix-Artifact

Language:SolidityNOASSERTION9 30

Graphick

Language:ShellMIT8 4 6

LearnML

A framework for generating personalized feedbacks on functional programming assignments

Language:OCamlMIT8 10

Diver

Language:PythonMIT4 1 1

Diver-Artifact

Language:PythonMIT4 20

starlab-benchmarks

Repository for Software STARLAB benchmarks

Language:JavaNOASSERTION4 3 74

SAVER_public

Language:CNOASSERTION3 2 1

AAA616-2022Fall

Language:OCaml2 10

Data-Driven-Pointsto-Analysis

Data-Driven Context-Sensitivity for Points-to Analysis

Language:Shell2 20

qsyn

Artifact for paper Modular Component-based Quantum Circuit Synthesis

Language:PythonMIT2 20

CutFuzz

Language:PythonMIT1 20

erc-group2-framework

Language:Python1 2 1

kaprese-engines

Language:PythonMIT1 3 2

kupl.github.io

Language:HTML1 30

SeamFuzz-public

Public repository for SeamFuzz

Language:CNOASSERTION1 2 1

kaprese

Language:PythonMIT03 27

MicSE-Public

A Tool for Verifying and Refuting Smart Contract of Tezos

Language:OCamlMIT010

PL4XGL

Language:Python000

PointerAnalysis_GNN

Language:Java020

PyinderData

Language:Python020

revise-22f

Language:OCamlMIT020

revise-lang

Language:OCamlMIT020

Smartest-validation

for TTA validation

Language:Solidity020