hassansalehe / EmbedSanitizer
EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
☆18Updated 3 years ago
Alternatives and similar repositories for EmbedSanitizer:
Users that are interested in EmbedSanitizer are comparing it to the libraries listed below
- The home of the clang-based implementation of lifetime safety warnings.☆40Updated 3 years ago
- Code Analysis and Refactoring with Clang Tools☆123Updated 4 years ago
- Experiments with the gcc plugin mechanism☆108Updated last year
- ☆35Updated last year
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆32Updated 7 years ago
- A tool based on clang which generates a call graph from a given C++ codebase☆134Updated 7 months ago
- ☆67Updated 6 months ago
- Data-race detector for windows applications - built on top of DynamoRIO☆39Updated 3 years ago
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆43Updated 7 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- A simple example of defining custom plugins for clang and the clang static analyzer.☆80Updated 4 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- Experiments with the GDB Python API☆70Updated 3 years ago
- Runtime type and bounds-error checking for C/C++☆101Updated last month
- Compiler/BuildSystem Interface Library☆24Updated 2 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 2 years ago
- LLVM-based type and memory allocation tracking sanitizer☆51Updated this week
- Clang AST viewer☆62Updated 7 years ago
- Suite of C/C++ tooling built on LLVM/Clang☆102Updated 2 months ago
- static analysis benchmarks from Toyota ITC☆113Updated last year
- Slides for my C++Now 2017 talk☆59Updated 7 years ago
- LLVM IR CMake utils for bitcode file manipulation by opt and friends☆70Updated last month
- Manipulate C-family ASTs with Clang☆68Updated 10 years ago
- A list of compiler warning flags for different GCC and clang versions☆64Updated last week
- This is the repository for clang-playground series.☆22Updated 4 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆37Updated this week
- Companion Repository for the Lecture Slides for the Clang Libraries☆88Updated 11 months ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- An LLVM sanitizer tutorial☆198Updated 2 years ago