smack
by smackers
SMACK Software Verifier and Verification Toolchain
AI summary
C verifier
A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation
- stars
- 431
- forks
- 82
- watching
- 24
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Assembly Verifier
A verification tool for .NET assemblies decompiled by ICSharpCode.Decompiler
Command processor verifier
Adds support for verifying a specific command processing framework
JavaScript verifier
A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter
Command Verifier
A tool that detects and prompts verification for risky shell commands to prevent accidental data loss or other adverse effects
Test helper verifier
Provides a way to verify the behavior of MassTransit test helpers during testing.
Code verifier
A tool for verifying the correctness and safety of C++ programs
Logging verifier
A tool for verifying Serilog logging behavior in C# applications
C verifier
A template project for verifying the correctness of C programs in Coq
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
SystemVerilog parser
Develops a system for parsing and analyzing SystemVerilog code to improve developer productivity and ensure style compliance.
MongoDB Verifier
A tool for verifying MongoDB operations and recording their execution
Component verifier
A tool for verifying Blazor components by capturing their rendered HTML and model state in a snapshot file.
eBPF verifier
A tool that verifies the correctness of eBPF programs using an abstract interpretation approach
Document Verifier
A tool for verifying the integrity and contents of documents in various file formats using Syncfusion File Formats.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions smack.
