Skip to content
@Generative-Program-Analysis

Generative-Program-Analysis

Popular repositories Loading

  1. GenSym GenSym Public

    A high-performance, parallel, compilation-based symbolic execution engine

    Java 128 5

  2. icse23-artifact-evaluation icse23-artifact-evaluation Public

    Shell 4

  3. coreutils-testing-instruction coreutils-testing-instruction Public

    Detailed instructions on building and running coreutils testing environment

    2

  4. fs-linker fs-linker Public

    Preprocessor for symbolic execution, extracted from KLEE

    C++ 1

  5. klee-uclibc klee-uclibc Public

    Forked from klee/klee-uclibc

    KLEE's version of uClibc

    C

  6. posix-runtime posix-runtime Public

    Modified KLEE's POSIX File System Runtime

    C

Repositories

Showing 8 of 8 repositories
  • GenSym Public

    A high-performance, parallel, compilation-based symbolic execution engine

    Java 128 5 2 5 Updated Mar 26, 2025
  • wasm-cps Public
    WebAssembly 0 MIT 0 2 0 Updated Feb 19, 2025
  • icse23-artifact-evaluation Public
    Shell 4 MIT 0 0 0 Updated Feb 10, 2023
  • coreutils-linked Public

    pre-compiled/linked coreutils programs used as benchmarks for symbolic execution

    LLVM 0 0 0 0 Updated Jan 30, 2023
  • fs-linker Public

    Preprocessor for symbolic execution, extracted from KLEE

    C++ 1 0 0 0 Updated Jan 17, 2023
  • posix-runtime Public

    Modified KLEE's POSIX File System Runtime

    C 0 0 0 0 Updated Oct 21, 2022
  • coreutils-testing-instruction Public

    Detailed instructions on building and running coreutils testing environment

    2 0 0 0 Updated Oct 21, 2022
  • klee-uclibc Public Forked from klee/klee-uclibc

    KLEE's version of uClibc

    C 0 LGPL-2.1 50 0 0 Updated Aug 1, 2022

Top languages

Loading…

Most used topics

Loading…