Repositories list

• wasm-cps

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated Feb 2, 2025Feb 2, 2025

• GenSym

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

  metaprogrammingsymbolic-executionsymbolic-execution-engine+ 3multi-stage-programmingscalacompiler

  Java

  •4•127•0•5•Updated Jan 31, 2025Jan 31, 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•2•0•0•Updated Oct 21, 2022Oct 21, 2022

• klee-uclibc

  Public
  KLEE's version of uClibc

  C

  •

  GNU Lesser General Public License v2.1

  •49•0•0•0•Updated Aug 1, 2022Aug 1, 2022