8000 prosyslab repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@prosyslab Programming Systems Laboratory @ KAIST

Change the repository type filter

All

    Repositories list

    50 repositories

    • bug-bench

      Public
      Shell
      •1•0•9•0•Updated Jun 9, 2025Jun 9, 2025

    • unitcon

      Public
      OCaml
      •0•1•0•0•Updated May 29, 2025May 29, 2025

    • unitcon-infer

      Public
      OCaml
      •
      MIT License
      •0•0•0•0•Updated May 26, 2025May 26, 2025

    • unitcon-artifact

      Public
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated May 18, 2025May 18, 2025

    • publications

      Public
      0•0•0•0•Updated May 14, 2025May 14, 2025

    • prosyslab.github.io

      Public
      HTML
      •
      MIT License
      •18•0•0•0•Updated May 14, 2025May 14, 2025

    • optimuzz

      Public
      OCaml
      •0•3•0•0•Updated May 9, 2025May 9, 2025

    • wasmtime

      Public
      A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
      Rust
      •
      Apache License 2.0
      •1.4k•0•0•0•Updated May 6, 2025May 6, 2025

    • pl-wiki

      Public
      5•46•0•0•Updated May 1, 2025May 1, 2025

    • turbotv-fuzzilli

      Public
      Swift
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 22, 2025Apr 22, 2025

    • turbo-tv

      Public
      Translation Validation for TurboFan
      turbo-tvicse24
      OCaml
      •0•10•0•0•Updated Apr 22, 2025Apr 22, 2025

    • sparrow

      Public
      OCaml
      •
      Other
      •4•3•0•0•Updated Feb 18, 2025Feb 18, 2025

    • claml

      Public
      C++
      •3•1•3•0•Updated Feb 18, 2025Feb 18, 2025

    • cil

      Public
      C Intermediate Language
      OCaml
      •
      Other
      •94•0•0•0•Updated Feb 18, 2025Feb 18, 2025

    • smake

      Public
      Shell
      •2•0•0•0•Updated Jan 9, 2025Jan 9, 2025

    • patron-artifact

      Public
      C
      •0•0•0•0•Updated Dec 31, 2024Dec 31, 2024

    • patron

      Public
      Bug Pattern Matching Tool using SMT Solver for Patch Transplantation
      OCaml
      •0•1•0•0•Updated Dec 31, 2024Dec 31, 2024

    • recursion

      Public
      HTML
      •0•0•0•0•Updated Dec 5, 2024Dec 5, 2024

    • bugsynth

      Public
      HTML
      •0•2•0•0•Updated Oct 30, 2024Oct 30, 2024

    • DAFL-artifact

      Public
      sec23dafl
      Python
      •7•42•1•0•Updated Oct 27, 2024Oct 27, 2024

    • tracer

      Public
      Signature-based Static Analysis for Detecting Recurring Vulnerabilities
      ccs22
      OCaml
      •3•46•0•0•Updated Sep 25, 2024Sep 25, 2024

    • flex-artifact

      Public
      Shell
      •0•1•0•0•Updated Aug 20, 2024Aug 20, 2024

    • bayesmith

      Public
      icse22bayesmith
      C
      •0•1•0•0•Updated Jul 23, 2024Jul 23, 2024

    • evaluating-directed-fuzzing-artifact

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •1•6•0•0•Updated Jun 4, 2024Jun 4, 2024

    • DAFL

      Public
      american fuzzy lop - a security-oriented fuzzer
      sec23dafl
      C
      •
      Apache License 2.0
      •659•10•0•0•Updated Mar 4, 2024Mar 4, 2024

    • turbo-tv-artifact

      Public
      0•2•0•0•Updated Jan 5, 2024Jan 5, 2024

    • FishFuzz

      Public
      AFL/AFL++ version FishFuzz
      C
      •11•1•0•0•Updated Dec 18, 2023Dec 18, 2023

    • sigpl23-tutorial

      Public
      Jupyter Notebook
      •3•9•0•0•Updated Aug 24, 2023Aug 24, 2023

    • logger

      Public
      OCaml
      •1•2•1•0•Updated Aug 15, 2023Aug 15, 2023

    • v8

      Public
      The official mirror of the V8 Git repository
      C++
      •
      Other
      •4.1k•0•0•0•Updated Jun 22, 2023Jun 22, 2023
    0