CBMC vs MATLAB Grader
| CBMC | MATLAB Grader | |
|---|---|---|
| Free plan | Yes | Yes |
| Free trial | No | |
| Paid from | Free | Free |
| Platforms | Linux, macOS, Windows | Linux, macOS, Web, Windows |
| Free plan | Yes | No |
| Memory defect detection | Yes | |
| Security analysis | Yes | |
| Programming autograding | Yes | |
| Math autograding | Yes | |
| LMS or LTI support | Yes | |
| Question bank | Yes | |
| Training mode | both | |
| Deployment targets | multiple | |
| GPU acceleration | Yes | |
| Distributed training | Yes | |
| Supported languages | MATLAB, Python | |
| Model formats | PyTorch, TensorFlow, ONNX | |
| Schematic capture | Yes | |
| Electrical simulation | advanced | |
| Standards libraries | Yes | |
| Deployment | desktop | |
| Delivery mode | desktop | |
| Lesson library | No | |
| Authoring tools | Yes | |
| Assessment tools | No | |
| 3D visuals | No | |
| Requirements traceability | Yes | |
| Baseline support | Yes | |
| Version history | Yes | |
| Deployment options | cloud | |
| Import and export | Microsoft Word, Microsoft Excel, IBM DOORS, IBM DOORS Next, ReqIF, Excel export | |
| Language support | C, C++, Ada | |
| IDE support | Yes | |
| CI/CD support | Yes | |
| Custom rules | Yes |
Listed together in Best C and C++ Static Analysis Tools