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: about 1 month ago
Linked from 1 awesome list
cc-plus-plusllvmrustsmtverificationverification-toolchainverifier
oz123/awesome-cRelated projects:
| Repository | Description | Stars |
|---|---|---|
 verifytests/verify.icsharpcode.decompiler | A verification tool for .NET assemblies decompiled by ICSharpCode.Decompiler | 8 |
 bedrocksystems/brick | Formalization of C++ logic for verifying concurrent programming | 69 |
| verifytests/verify.brighter | Adds support for verifying a specific command processing framework | 2 |
 jscert/jscert | A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter | 196 |
 kaplanelad/shellfirm | A tool that detects and prompts verification for risky shell commands to prevent accidental data loss or other adverse effects | 820 |
| verifytests/verify.masstransit | Provides a way to verify the behavior of MassTransit test helpers during testing. | 12 |
 diffblue/cbmc | A tool for verifying the correctness and safety of C++ programs | 848 |
| verifytests/verify.serilog | A tool for verifying Serilog logging behavior in C# applications | 1 |
 coq-community/coq-program-verification-template | A template project for verifying the correctness of C programs in Coq | 29 |
 runtimeverification/avm-semantics | A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution | 15 |
 chipsalliance/verible | Develops a system for parsing and analyzing SystemVerilog code to improve developer productivity and ensure style compliance. | 1,384 |
 flcdrg/verify.mongodb | A tool for verifying MongoDB operations and recording their execution | 5 |
| verifytests/verify.blazor | A tool for verifying Blazor components by capturing their rendered HTML and model state in a snapshot file. | 33 |
 vbpf/ebpf-verifier | A tool that verifies the correctness of eBPF programs using an abstract interpretation approach | 391 |
| verifytests/verify.syncfusion | A tool for verifying the integrity and contents of documents in various file formats using Syncfusion File Formats. | 3 |