Skip to content

@Generative-Program-Analysis Generative-Program-Analysis

Change the repository type filter

All

    Repositories list

    8 repositories

    • GenSym

      Public
      A high-performance, parallel, compilation-based symbolic execution engine
      scalacompilermetaprogramming
      scalacompilermetaprogrammingsymbolic-executionsymbolic-execution-enginemulti-stage-programming
      Java
      •6•146•1•6•Updated Apr 8, 2026Apr 8, 2026

    • wasm-cps

      Public
      WebAssembly
      •
      MIT License
      •0•0•2•0•Updated Jul 2, 2025Jul 2, 2025

    • icse23-artifact-evaluation

      Public
      Shell
      •
      MIT License
      •0•4•0•0•Updated Feb 10, 2023Feb 10, 2023

    • coreutils-linked

      Public
      pre-compiled/linked coreutils programs used as benchmarks for symbolic execution
      LLVM
      •0•0•0•0•Updated Jan 30, 2023Jan 30, 2023

    • fs-linker

      Public
      Preprocessor for symbolic execution, extracted from KLEE
      C++
      •
      Other
      •0•1•0•0•Updated Jan 17, 2023Jan 17, 2023

    • posix-runtime

      Public
      Modified KLEE's POSIX File System Runtime
      C
      •
      Other
      •0•0•0•0•Updated Oct 21, 2022Oct 21, 2022

    • coreutils-testing-instruction

      Public
      Detailed instructions on building and running coreutils testing environment
      0•3•0•0•Updated Oct 21, 2022Oct 21, 2022

    • klee-uclibc

      Public
      KLEE's version of uClibc
      C
      •
      GNU Lesser General Public License v2.1
      •52•0•0•0•Updated Aug 1, 2022Aug 1, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.