Alternatives and similar repositories for EmbedSanitizer:

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

• lanl / CoARCT
  Code Analysis and Refactoring with Clang Tools
  ☆124Updated 4 years ago
• siemens / drace
  Data-race detector for windows applications - built on top of DynamoRIO
  ☆40Updated 3 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 4 months ago
• rofirrim / gcc-plugins
  Experiments with the gcc plugin mechanism
  ☆109Updated last year
• nsumner / clang-plugins-demo
  A simple example of defining custom plugins for clang and the clang static analyzer.
  ☆85Updated 4 years ago
• jefftrull / gdb_python_api
  Experiments with the GDB Python API
  ☆70Updated 3 years ago
• urnathan / libcody
  Compiler/BuildSystem Interface Library
  ☆26Updated 3 years ago
• Vermeille / clang-callgraph
  A tool based on clang which generates a call graph from a given C++ codebase
  ☆139Updated 2 months ago
• peter-can-talk / cppnow-2017
  Slides for my C++Now 2017 talk
  ☆59Updated 7 years ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆32Updated 7 years ago
• mgehre / llvm-project
  The home of the clang-based implementation of lifetime safety warnings.
  ☆41Updated 3 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated last year
• rettichschnidi / clang-misracpp2008
  An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…
  ☆45Updated 7 years ago
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆100Updated last month
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆52Updated 2 years ago
• ingve / awesome-clang
  Useful resources and samples for using Clang-related tools, or for building stuff on top of Clang.
  ☆227Updated last year
• firolino / clang-tool
  Simple and powerful standalone project for clang-based tools using libtooling (e.g. refactoring, auto-completion, etc.)
  ☆50Updated 10 months ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆181Updated 3 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆141Updated 2 months ago
• vusec / floatzone
  ☆69Updated 9 months ago
• LLNL / dataracebench
  Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
  ☆69Updated last year
• Ericsson / clang
  Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)
  ☆15Updated 5 years ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆142Updated 5 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆148Updated 3 weeks ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 10 months ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 2 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• trailofbits / llvm-sanitizer-tutorial
  An LLVM sanitizer tutorial
  ☆199Updated 2 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆21Updated 2 years ago