Skip to content

@PKU-ASAL PKU-OSLAB

Change the repository type filter

All

    Repositories list

    12 repositories

    • oj-deploy

      Public
      Script for OJ Deployment
      Python
      •
      GNU Affero General Public License v3.0
      •5•0•0•0•Updated Nov 5, 2024Nov 5, 2024

    • pkuoslab-oj-frontend

      Public
      The frontend of PKUOSLAB-OJ, written in React, powered by SDUOJ-frontend
      TypeScript
      •0•0•0•0•Updated Oct 20, 2024Oct 20, 2024

    • Orax

      Public
      SMT
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Oct 16, 2024Oct 16, 2024

    • WASEM

      Public
      WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
      webassemblysymbolic-executionprogram-analysisvulnerability-detection
      WebAssembly
      •
      BSD 3-Clause "New" or "Revised" License
      •6•12•0•1•Updated Sep 30, 2024Sep 30, 2024

    • NoDrop

      Public
      C
      •
      Other
      •0•16•0•0•Updated Aug 30, 2024Aug 30, 2024

    • Simulated-Data

      Public
      Python
      •
      Other
      •9•55•9•0•Updated Aug 29, 2024Aug 29, 2024

    • SeeWasm

      Public
      A native symbolic execution engine for WebAssembly
      webassemblywasmsymbolic-execution
      Python
      •4•39•6•0•Updated Jul 6, 2024Jul 6, 2024

    • PKUWA

      Public
      WebAssembly
      •3•12•0•0•Updated Jul 4, 2024Jul 4, 2024

    • GoSe

      Public
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 7, 2024Jun 7, 2024

    • Eunomia-ISSTA23

      Public
      WebAssembly
      •0•9•0•0•Updated May 27, 2023May 27, 2023

    • ReMoS_artifact

      Public
      Python
      •
      MIT License
      •4•23•1•0•Updated Jan 3, 2023Jan 3, 2023

    • DependEX

      Public
      Identify dependencies between form elements.
      Python
      •2•5•0•0•Updated Feb 23, 2022Feb 23, 2022