smack
C verifier
A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation
SMACK Software Verifier and Verification Toolchain
431 stars
24 watching
82 forks
Language: C
last commit: 4 months ago
Linked from 1 awesome list
cc-plus-plusllvmrustsmtverificationverification-toolchainverifier
Related projects:
Repository | Description | Stars |
---|---|---|
| A verification tool for .NET assemblies decompiled by ICSharpCode.Decompiler | 8 |
| Adds support for verifying a specific command processing framework | 2 |
| A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter | 196 |
| A tool that detects and prompts verification for risky shell commands to prevent accidental data loss or other adverse effects | 823 |
| Provides a way to verify the behavior of MassTransit test helpers during testing. | 12 |
| A tool for verifying the correctness and safety of C++ programs | 863 |
| A tool for verifying Serilog logging behavior in C# applications | 1 |
| A template project for verifying the correctness of C programs in Coq | 29 |
| A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution | 15 |
| Develops a system for parsing and analyzing SystemVerilog code to improve developer productivity and ensure style compliance. | 1,403 |
| A tool for verifying MongoDB operations and recording their execution | 5 |
| A tool for verifying Blazor components by capturing their rendered HTML and model state in a snapshot file. | 33 |
| A tool that verifies the correctness of eBPF programs using an abstract interpretation approach | 392 |
| A tool for verifying the integrity and contents of documents in various file formats using Syncfusion File Formats. | 4 |