GitHub - priyasiddharth/verify-mbedtls: verification of mbedtls

This project aims to verify the mbedtls library using the Seahorn BMC engine and the SeaMock mocking framework.

HOWTO build and test the project

Replicate instructions in docker/verify-mbedtls.dockerfile

scripts/add-job <component> <job> <SUT>

Name		Name	Last commit message	Last commit date
Latest commit History 300 Commits
.github/workflows		.github/workflows
cmake/llvmir		cmake/llvmir
docker		docker
mbedtls @ 08909c9		mbedtls @ 08909c9
mbedtls_mod/library		mbedtls_mod/library
scripts		scripts
seahorn		seahorn
seamock @ 634c828		seamock @ 634c828
.clang-format		.clang-format
.dockerignore		.dockerignore
.gitmodules		.gitmodules
CMakeLists.txt		CMakeLists.txt
README.md		README.md
verify.py.in		verify.py.in