Certora/Examples

Stars
33
Rank 760,011 (Top 16 %)
Language
Solidity
Created over 1 year ago
Updated 3 months ago

Certora/Examples

Certora

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An index repository with submodules for different examples of Certora projects

Tutorials

Practical tutorials of Certora Prover

gambit

Using mutations to improve specs and test suites

CertoraProverSupplementary

Supplementary Material to be used with the Certora Prover

Documentation

CertoraInit

tutorials-code

Certora tutorials

EVMSpec-VsCodeExtension

VS.Code extension for writing specifications for EVM (Ethereum Virtual Machine) code (.spec format)

gambit-report-viewer

2023-01-blockswap-fv

cvldoc_parser

CVLDoc parser backend

MemoryIsolationPOC

collections

Memory-effficient immutable collection types for Kotlin

vscode-certora-prover

Secureum2023_ERC4626_public

InvalidCalldataPOC

A proof of concept for the invalid calldata padding bug

gho-competition

BordaChallenge

MemoryCorruptionPOC

Example of memory allocation overflow

LiquidityPoolExample

Example Certora verification for a simple multi-contract system

vim-setup

Vim setup for using Certora Verification Language

aave-proposal-test

ruler-evm

The Ruler project adapted to generate rules for evm.

ERC4626_Workshop

Repository for the specifications for the Certora workshop on ERC4626 at TrustX @ Istanbul 2023.

rust-evm

OptimizerBugPOC

Proof of Concept of YUL Optimizer Bug

cvldocTool

convert the NatSpec comment on a spec file(s) to a JSON file.

Secureum_Staking_Rewards

ethGatheringBarcelona_worksop

Source code for Certora workshop at ETH Gathering in Barcelona

solana-cvt

A library to write verification harnesses for the Solana Certora Prover