Certora/cvldocTool

Stars
1
Language
Ruby
License
MIT License
Created almost 2 years ago
Updated 3 months ago

Certora/cvldocTool

Certora

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

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

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

tutorials-code

Certora tutorials

EVMSpec-VsCodeExtension

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

gambit-report-viewer

euler-vault-cantina-fv

2023-01-blockswap-fv

cvldoc_parser

CVLDoc parser backend

MemoryIsolationPOC

collections

Memory-effficient immutable collection types for Kotlin

rust-evm

vscode-certora-prover

Secureum2023_ERC4626_public

gho-competition

InvalidCalldataPOC

A proof of concept for the invalid calldata padding bug

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.

OptimizerBugPOC

Proof of Concept of YUL Optimizer Bug

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

superfluid-protocol-monorepo

Superfluid Protocol Monorepo: the specification, implementations, peripherals and development kits.