Repositories list

• race-harness-goblint

  Public
  Patches for Goblint analyzer for Linux kernel verification

  OCaml

  •

  MIT License

  •0•0•2•0•Updated Dec 15, 2025Dec 15, 2025

• race-harness

  Public
  Attempt to facilitate automation of Linux kernel module analysis using Goblint

  Python

  •0•0•1•0•Updated Dec 11, 2025Dec 11, 2025

• race-harness-generator

  Public
  Python

  •0•0•0•0•Updated Nov 26, 2025Nov 26, 2025

• cooperace

  Public
  CoOpeRace: Cooperative Data Race Verification

  SWIG

  •

  MIT License

  •0•1•0•0•Updated Nov 26, 2025Nov 26, 2025

• race-harness-cil

  Public
  Patches for C Intermediate Language to use in Linux kernel verification

  OCaml

  •

  Other

  •0•0•0•0•Updated Nov 13, 2025Nov 13, 2025

• sv-comp-witness-vscode

  Public
  Kotlin

  •0•0•6•0•Updated Sep 30, 2025Sep 30, 2025

• softsec25

  Public
  https://courses.cs.ut.ee/2025/softsec

  Python

  •1•0•0•0•Updated Jun 20, 2025Jun 20, 2025

• digit2025-infer

  Public
  A static analyzer for Java, C, C++, and Objective-C

  OCaml

  •

  MIT License

  •2.1k•0•0•0•Updated May 9, 2025May 9, 2025