program-verification topic

List program-verification repositories

coq-program-verification-template

27
Stars
2
Forks
Watchers

Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]

verified publisher icon coq-community

bap

2.0k
Stars
271
Forks
Watchers

Binary Analysis Platform

verified publisher icon BinaryAnalysisPlatform

symbiotic

300
Stars
55
Forks
Watchers

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

verified publisher icon staticafi

CMinor-Verifier

186
Stars
19
Forks
Watchers

2022 年春季学期清华大学《软件分析与验证》课程实验平台

verified publisher icon thufv

code2inv

82
Stars
24
Forks
Watchers

Code2Inv: Learning Loop Invariants for Program Verification

verified publisher icon PL-ML

bap-python

20
Stars
12
Forks
Watchers

BAP python bindings

verified publisher icon BinaryAnalysisPlatform

LoopInvGen

56
Stars
20
Forks
Watchers

Generates loop invariants for program verification

verified publisher icon SaswatPadhi

shapesafe

25
Stars
4
Forks
Watchers

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

verified publisher icon tribbloid

lisa

41
Stars
32
Forks
Watchers

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

verified publisher icon lisa-analyzer

LLOV

20
Stars
4
Forks
Watchers

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

verified publisher icon utpalbora