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
Related projects ⓘ
Alternatives and complementary repositories for EmbedSanitizer
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆31Updated 7 years ago
- Data-race detector for windows applications - built on top of DynamoRIO☆39Updated 3 years ago
- Code Analysis and Refactoring with Clang Tools☆123Updated 4 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- A simple example of defining custom plugins for clang and the clang static analyzer.☆78Updated 3 years ago
- A list of compiler warning flags for different GCC and clang versions☆62Updated last month
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- CLang Plugin for calculating AST hashes☆15Updated 5 years ago
- CppCon 2019 Talk: slides and source code☆42Updated 5 years ago
- Simple and powerful standalone project for clang-based tools using libtooling (e.g. refactoring, auto-completion, etc.)☆45Updated 5 months ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- Experiments with the gcc plugin mechanism☆103Updated 10 months ago
- CCG is a random C Code Generator☆42Updated 2 years ago
- Experiments with the GDB Python API☆68Updated 2 years ago
- llvm crash analysis☆41Updated 4 months ago
- Generate project templates for executables that use LLVM and LLVM passes☆51Updated 2 years ago
- ☆68Updated 4 years ago
- Constraint solver based on coverage-guided fuzzing☆239Updated 11 months ago
- code for examining determinism of performance counters☆21Updated 3 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- LLVM Profiling Visualization☆83Updated 2 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- Doug Lea's malloc☆32Updated 8 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- ☆67Updated 4 months ago
- This is the repository for clang-playground series.☆22Updated 4 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆176Updated 2 years ago
- ☆35Updated last year