Armin-Montigny / MCDC
Create minimum MCDC test sets for a boolean expression
☆36Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for MCDC
- Python Clang AST Viewer☆26Updated 7 months ago
- ☆48Updated 8 years ago
- Semantic program repair system for C programs☆97Updated 2 years ago
- Toolset to do differential testing on the Clang Static Analyzer☆19Updated 2 years ago
- Examples and case-study that use OSATE☆56Updated 3 years ago
- An interactive (fast) static source code analyzer☆139Updated 2 weeks ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- KLEEF Symbolic Execution Engine☆14Updated this week
- MiBench ported for IoT devices☆16Updated last year
- static analysis benchmarks from Toyota ITC☆113Updated last year
- Port of libgcov portions to enable a way to generate GCDA files for embedded systems☆33Updated 8 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆23Updated 2 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆61Updated this week
- A collection of analysis tools for Kconfig and Kbuild constraints.☆42Updated last month
- ☆20Updated last year
- Archived Mirror of the main Trace Compass git repository: https://github.com/eclipse-tracecompass☆74Updated 8 months ago
- Generating the call graph from elf binary file☆31Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- A verification tool for many memory models☆77Updated this week
- Static Analyzer and Verifier☆46Updated last month
- KLEE's version of uClibc☆47Updated 5 months ago
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆158Updated 6 years ago
- RV-Monitor core system code☆16Updated 3 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- Tool for mutation testing of C programs☆19Updated 4 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆66Updated 2 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 9 years ago
- Code coverage reporting tool☆51Updated 7 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆178Updated 11 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆11Updated 6 years ago