Certora/EVMSpec-VsCodeExtension

Stars
11
Rank 1,648,912 (Top 34 %)
Language
Created over 4 years ago
Updated over 1 year ago

Certora/EVMSpec-VsCodeExtension

Certora

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

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

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

gambit-report-viewer

MemoryIsolationPOC

euler-vault-cantina-fv

2023-01-blockswap-fv

cvldoc_parser

CVLDoc parser backend

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

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