Certora/tutorials-code

Stars
11
Rank 1,640,887 (Top 34 %)
Language
Solidity
License
MIT License
Created 8 months ago
Updated 3 months ago

Certora/tutorials-code

Certora

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

Certora tutorials

Tutorials

Practical tutorials of Certora Prover

gambit

Using mutations to improve specs and test suites

Examples

An index repository with submodules for different examples of Certora projects

CertoraProverSupplementary

Supplementary Material to be used with the Certora Prover

Documentation

CertoraInit

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

ERC4626_Workshop

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

vim-setup

Vim setup for using Certora Verification Language

aave-proposal-test

ruler-evm

The Ruler project adapted to generate rules for evm.

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