smackers

smack Public

SMACK Software Verifier and Verification Toolchain

C 448 86 82 13 Updated Aug 28, 2026

solver for the reachability modulo theories problem

Boogie 1MIT 43 0 0 Updated Aug 20, 2026

Context, field, and array-sensitive heap analysis for LLVM based on DSA.

C++ 0 36 0 0 Updated Aug 20, 2026

0 0 0 0 Updated Jul 29, 2022

smack-wllvm Public archive

Shell 0MIT 0 0 0 Updated Mar 18, 2022

SMACK Homepage

CSS 0 0 0 0 Updated Nov 3, 2021

1 168 0 0 Updated Dec 2, 2020

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Python 0Apache-2.0 230 0 0 Updated Nov 27, 2020

Configurations/scripts to run SV-COMP benchmarks on Emulab

Python 0 0 3 0 Updated Oct 21, 2020

0 0 0 0 Updated Jul 22, 2020

Navigation Menu