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
- Code Analysis and Refactoring with Clang Tools☆124Updated 4 years ago
- Data-race detector for windows applications - built on top of DynamoRIO☆39Updated 3 years ago
- Experiments with the GDB Python API☆70Updated 3 years ago
- A simple example of defining custom plugins for clang and the clang static analyzer.☆82Updated 4 years ago
- Experiments with the gcc plugin mechanism☆108Updated last year
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆32Updated 7 years ago
- ☆36Updated last year
- A list of compiler warning flags for different GCC and clang versions☆64Updated last week
- Companion Repository for the Lecture Slides for the Clang Libraries☆96Updated this week
- Simple and powerful standalone project for clang-based tools using libtooling (e.g. refactoring, auto-completion, etc.)☆50Updated 9 months ago
- 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
- A tool based on clang which generates a call graph from a given C++ codebase☆138Updated 2 weeks ago
- Compiler/BuildSystem Interface Library☆26Updated 2 years ago
- Runtime type and bounds-error checking for C/C++☆102Updated 2 months ago
- CppCon 2019 Talk: slides and source code☆45Updated 5 years ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆39Updated last week
- The home of the clang-based implementation of lifetime safety warnings.☆41Updated 3 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆178Updated 2 years ago
- Clang AST viewer☆62Updated 7 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- PDFs of presenter slides from ACCU 2019☆64Updated 5 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆52Updated 2 years ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- Compiler-assisted variable size benchmarking for the study of C++ metaprogram compile times.☆25Updated 5 months ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 2 years ago
- Tools to dealing with template instantiation profiles generated by templight.☆83Updated last year
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆22Updated 5 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago