Alternatives and similar repositories for raksha

Users that are interested in raksha are comparing it to the libraries listed below

• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆84Updated last week
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 5 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated 2 months ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆96Updated 3 weeks ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated last month
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆56Updated last year
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago
• harp-lab / gdlog
  ☆83Updated 11 months ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆182Updated last week
• google / centipede
  ☆252Updated 2 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆25Updated 3 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 2 weeks ago
• google-research / structured-additive-IR
  ☆61Updated this week
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆89Updated 3 weeks ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆102Updated this week
• google / fleetbench
  Benchmarking suite for Google workloads
  ☆130Updated last week
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆17Updated 5 months ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆112Updated 3 weeks ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆246Updated 11 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆195Updated 4 months ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 5 years ago
• mc-imperial / dredd
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Updated 2 months ago
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆47Updated last week
• google / ml-compiler-opt
  Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.
  ☆725Updated 2 weeks ago
• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆69Updated 3 years ago
• bloa / magpie
  ☆14Updated 2 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated last year
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆173Updated this week
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆133Updated 2 years ago