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 122 4

  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 7 of 7 repositories
  • GenSym Public

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

    Generative-Program-Analysis/GenSym’s past year of commit activity
    Java 122 4 0 7 Updated Nov 18, 2024
  • icse23-artifact-evaluation Public
    Generative-Program-Analysis/icse23-artifact-evaluation’s past year of commit activity
    Shell 4 MIT 0 0 0 Updated Feb 10, 2023
  • coreutils-linked Public

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

    Generative-Program-Analysis/coreutils-linked’s past year of commit activity
    LLVM 0 0 0 0 Updated Jan 30, 2023
  • fs-linker Public

    Preprocessor for symbolic execution, extracted from KLEE

    Generative-Program-Analysis/fs-linker’s past year of commit activity
    C++ 1 0 0 0 Updated Jan 17, 2023
  • posix-runtime Public

    Modified KLEE's POSIX File System Runtime

    Generative-Program-Analysis/posix-runtime’s past year of commit activity
    C 0 0 0 0 Updated Oct 21, 2022
  • coreutils-testing-instruction Public

    Detailed instructions on building and running coreutils testing environment

    Generative-Program-Analysis/coreutils-testing-instruction’s past year of commit activity
    2 0 0 0 Updated Oct 21, 2022
  • klee-uclibc Public Forked from klee/klee-uclibc

    KLEE's version of uClibc

    Generative-Program-Analysis/klee-uclibc’s past year of commit activity
    C 0 LGPL-2.1 50 0 0 Updated Aug 1, 2022

Top languages

Loading…

Most used topics

Loading…