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]
bap
2.0k
Stars
271
Forks
Watchers
Binary Analysis Platform
symbiotic
300
Stars
55
Forks
Watchers
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
CMinor-Verifier
186
Stars
19
Forks
Watchers
2022 年春季学期清华大学《软件分析与验证》课程实验平台
code2inv
82
Stars
24
Forks
Watchers
Code2Inv: Learning Loop Invariants for Program Verification
bap-python
20
Stars
12
Forks
Watchers
BAP python bindings
LoopInvGen
55
Stars
21
Forks
Watchers
Generates loop invariants for program verification
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
lisa
41
Stars
32
Forks
Watchers
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis