Pinned Repositories
adapt
ADAPT is the open source white-box testing framework for deep neural networks
AlphaRegexPublic
MicSE
The Michelson Symbolic vErifier
npex
ParaDySE
PyTER
SeamFuzz-Artifact
SeamFuzz Artifact repository for ICSE 2023
SmartFix-Artifact
VeriSmart-benchmarks
VeriSmart-public
a safety verifier for Solidity smart contracts
Software Analysis Lab. @ Korea University's Repositories
kupl/VeriSmart-public
a safety verifier for Solidity smart contracts
kupl/VeriSmart-benchmarks
kupl/AlphaRegexPublic
kupl/ParaDySE
kupl/HOMI_public
kupl/FixML
kupl/Chameleon
kupl/SimplPublic
kupl/synthrl
SynthRL [ˈsɪnθrɪl]
kupl/pyter_tool
kupl/Compilers2020
kupl/ConTest
kupl/dd-klee
Data-driven symbolic execution engine, implemented on top of KLEE
kupl/AAA528
AAA528 Computational Logic
kupl/AAA616-2022Fall
kupl/OBJ2CFA
kupl/TestML
kupl/apps-sal
Programming Competition Style Python Codes Datasets
kupl/NPEX_Artifacts
kupl/AAA616
AAA616 Program Analysis
kupl/ComputationalLogic2021
kupl/Graphick_ML
kupl/infer
A static analyzer for Java, C, C++, and Objective-C
kupl/Infer_NPE_Checker
kupl/LearnMinimalHeapAbstraction
kupl/MicSE-deprecated
Michelson Symbolic vErifier, for verifying and testing the integrity of smart contracts in the Tezos blockchain.
kupl/npex-analyzer
kupl/PAT
PAT: Pattern program synthesizer
kupl/PL-2017
Skeleton code for Problem 1 of Homework 3
kupl/Sparrow
The Sparrow Static Analyzer