Alternatives and similar repositories for static-analysis-course

Users that are interested in static-analysis-course are comparing it to the libraries listed below

• UnitTestBot / usvm
  Universal Symbolic Virtual Machine
  ☆23Updated this week
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• vasil-sd / engineering-sw-hw-model-checking-letures
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Updated 4 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆18Updated last week
• ispras / crusher
  ☆39Updated this week
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆41Updated 5 months ago
• true-grue / awesome-russian-cs-books
  ☆38Updated 3 years ago
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 4 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• UnitTestBot / jacodb
  fast and effective way to access and analyze java bytecode
  ☆27Updated this week
• true-grue / VKR
  ☆17Updated 3 years ago
• danlark1 / quadratic_strict_weak_ordering
  ☆31Updated last year
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆103Updated last week
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• tbricks / itiviti-cpp-analyzer
  Clang plugin with several static analysis checks
  ☆26Updated 2 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated 2 weeks ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆31Updated 7 months ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆10Updated 7 years ago
• seahorn / verify-c-common
  ☆17Updated 11 months ago
• theElusiveJoe / BMSTU-IU9
  ☆6Updated last year
• hityangzhen / DRTracker
  data race detection
  ☆13Updated 8 years ago
• andrewt0301 / hse-acos-course
  Materials for the "Computer Architecture and Operating Systems" course taught at Faculty of Computer Science of Higher School of Economic…
  ☆34Updated this week
• danyaberezun / compilers-supplementary
  ☆10Updated this week
• ispras / oss-sydr-fuzz
  OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
  ☆138Updated last week
• UnitTestBot / UTBotJava
  Automated unit test generation and precise code analysis for Java
  ☆139Updated 11 months ago