Skip to content

@CertiKProject CertiK

Change the repository type filter

All

    Repositories list

    28 repositories

    • lightbox_public

      Public
      This repo is for lightbox users to create their PR
      1•0•0•0•Updated Sep 24, 2024Sep 24, 2024

    • zkwasm-fv

      Public
      Formal verification of the zkWasm project
      Coq
      •
      Other
      •2•10•0•0•Updated Aug 13, 2024Aug 13, 2024

    • erigon

      Public
      Ethereum implementation on the efficiency frontier
      Go
      •
      GNU Lesser General Public License v3.0
      •1.2k•0•0•0•Updated Jul 8, 2024Jul 8, 2024

    • slither-certik

      Public
      CertiK fork of Slither Analyzer
      Python
      •
      GNU Affero General Public License v3.0
      •985•2•0•0•Updated Jun 17, 2024Jun 17, 2024

    • hello-20world

      Public
      Solidity
      •0•0•0•0•Updated Apr 15, 2024Apr 15, 2024

    • ultimate

      Public
      The Ultimate program analysis framework.
      Java
      •42•0•0•0•Updated Jan 23, 2024Jan 23, 2024

    • smartbugs-certik

      Public
      SmartBugs: A Framework to Analyze Ethereum Smart Contracts
      Python
      •
      Apache License 2.0
      •140•0•0•0•Updated Sep 27, 2023Sep 27, 2023

    • FAR

      Public
      Documents supporting the FAR(Freeze-Asset_Request) technical standard
      MIT License
      •0•0•0•0•Updated Sep 1, 2023Sep 1, 2023

    • action-required-review

      Public
      GitHub Action that will check if all review requirements are met for a PR. This repository is a mirror of component in monorepo: https://github.com/automattic/jetpack
      JavaScript
      •
      Other
      •22•0•0•0•Updated Jul 13, 2023Jul 13, 2023

    • solc-select

      Public
      Manage and switch between Solidity compiler versions
      Python
      •
      GNU Affero General Public License v3.0
      •105•0•0•3•Updated May 24, 2023May 24, 2023

    • yara-python

      Public
      The Python interface for YARA
      C
      •
      Apache License 2.0
      •183•0•0•0•Updated May 10, 2023May 10, 2023

    • yara

      Public
      The pattern matching swiss knife
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •1.5k•0•0•0•Updated May 9, 2023May 9, 2023

    • datadog-api-client-typescript

      Public archive
      Typescript client for the Datadog API
      TypeScript
      •
      Apache License 2.0
      •16•0•0•0•Updated Mar 9, 2023Mar 9, 2023

    • move-prover-blog

      Public
      Source code repository for CertiK's blog on the Move Prover
      Move
      •
      MIT License
      •4•2•0•0•Updated Mar 9, 2023Mar 9, 2023

    • ocaml-solidity

      Public
      CertiK fork of the ocaml-solidity parser.
      OCaml
      •
      Other
      •10•0•0•0•Updated Mar 8, 2023Mar 8, 2023

    • echidna_fuzzer

      Public
      Ethereum smart contract fuzzer
      Solidity
      •
      GNU Affero General Public License v3.0
      •380•0•0•0•Updated Feb 24, 2023Feb 24, 2023

    • CTF_MOVEMENT_2022

      Public
      CTF_MOVEMENT_2022
      Move
      •0•1•0•0•Updated Dec 19, 2022Dec 19, 2022

    • MOVE-CTF-2022

      Public
      MOVE-CTF-2022
      Move
      •
      MIT License
      •1•1•0•0•Updated Nov 22, 2022Nov 22, 2022

    • test_vulnerable

      Public
      vulnerable projects to test defect_tester
      Solidity
      •0•0•0•0•Updated Oct 31, 2022Oct 31, 2022

    • SWC-registry

      Public archive
      CertiK Extended Smart Contract Weakness Classification and Test Cases
      Solidity
      •
      MIT License
      •169•4•2•0•Updated Jul 15, 2022Jul 15, 2022

    • crytic-compile

      Public
      Abstraction layer for smart contract build systems
      Python
      •
      GNU Affero General Public License v3.0
      •84•0•0•0•Updated Mar 8, 2022Mar 8, 2022

    • arbitrage-bot

      Public archive
      Python
      •
      MIT License
      •2•3•0•0•Updated Dec 11, 2021Dec 11, 2021

    • shentu

      Public
      A Cross-chain Protocol with Security Scoring and Decentralized Reimbursements for Building Secure dApps and Blockchains
      Go
      •
      Other
      •55•2•0•0•Updated Aug 10, 2021Aug 10, 2021

    • SmartPulseTool

      Public
      C
      •9•1•0•0•Updated Jul 2, 2021Jul 2, 2021

    • Certified-DeFi

      Public
      A Certified Version of Uniswap V2: A Leap Forward in True Decentralization
      TeX
      •3•5•0•0•Updated May 27, 2021May 27, 2021

    • validator-directory

      Public
      validator-directory
      Apache License 2.0
      •39•2•0•0•Updated Mar 30, 2021Mar 30, 2021

    • vercel_ruby

      Public
      WIP Vercel Serverless Functions written in Ruby
      Ruby
      •
      MIT License
      •4•0•0•0•Updated Dec 12, 2020Dec 12, 2020

    • certik-a-tour-of-solidity-tutorials

      Public
      MIT License
      •10•16•2•0•Updated Nov 12, 2019Nov 12, 2019