cmu-sei / cert-rosecheckersLinks
☆14Updated last year
Alternatives and similar repositories for cert-rosecheckers
Users that are interested in cert-rosecheckers are comparing it to the libraries listed below
Sorting:
- Frama-C plugins for deadlock and data race detection☆14Updated last week
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated this week
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- Clang plugin with several static analysis checks☆27Updated 4 months ago
- Experiments with the gcc plugin mechanism☆111Updated last year
- Piecewise debloating toolchain☆15Updated 5 years ago
- static analysis benchmarks from Toyota ITC☆117Updated 2 years ago
- C Code Source Metrics - tool to gather simple metrics from C code☆39Updated last year
- simple static source code analysis tool for C code, with user-definable properties☆28Updated last year
- Type qualifiers for C☆16Updated 14 years ago
- mTower is Trusted Execution Environment specially designed to be used on MicroController Units (MCUs) supporting ARM TrustZone technology…☆66Updated 6 months ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆61Updated 3 weeks ago
- Creates CycloneDX Software Bill of Materials (SBOM) documents for C/C++ projects using Conan☆26Updated 2 years ago
- ☆19Updated last year
- Toolset to do differential testing on the Clang Static Analyzer☆22Updated 2 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- CREST is a concolic test generation tool for C.☆162Updated 5 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…☆46Updated 8 years ago
- Clang Static Analyzer with use-after-free and double-free checkers☆15Updated 10 years ago
- Create minimum MCDC test sets for a boolean expression☆44Updated 4 years ago
- An interactive (fast) static source code analyzer☆176Updated last month
- A faster,smaller,Address Sanitizer,200X Faster,95% Smaller.☆18Updated 3 years ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆33Updated 6 years ago
- Runtime type and bounds-error checking for C/C++☆106Updated 11 months ago
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆43Updated last year
- ☆10Updated 5 years ago
- Generating the call graph from elf binary file☆38Updated 2 years ago
- Static Analyzer and Verifier☆49Updated last year
- A toolkit for building whole-program LLVM bitcode files☆77Updated 4 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Updated 4 years ago