sec-bit/vscode-secbit-ssae external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

sec-bit/vscode-secbit-ssae

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/sec-bit/vscode-secbit-ssae)

Close

sec-bit / vscode-secbit-ssaeView on GitHubMore

• External links
• Readme badge

Visual Studio Code extension for SECBIT Solidity Static Analyzer

☆11Mar 30, 2019Updated 6 years ago

Alternatives and similar repositories for vscode-secbit-ssae

Users that are interested in vscode-secbit-ssae are comparing it to the libraries listed below

• sec-bit / badERC20Fix

  View on GitHub
  Fix for the contracts which are not compatible with ERC20
  ☆25Oct 15, 2019Updated 6 years ago
• sec-bit / adelaide

  View on GitHub
  The SECBIT Static Analysis Extension to Solidity Compiler
  ☆18Jan 31, 2019Updated 7 years ago
• sec-bit / minievm

  View on GitHub
  Mini Ethereum Virutal Machine
  ☆14Jul 31, 2018Updated 7 years ago
• sec-bit / zkPoD-lib

  View on GitHub
  The underlying core library for zkPoD system
  ☆21Jan 21, 2020Updated 6 years ago
• sec-bit / tokenlibs-with-proofs

  View on GitHub
  Correctness proofs of Ethereum token contracts
  ☆97Jun 5, 2019Updated 6 years ago
• crate-crypto / qesa

  View on GitHub
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆16Mar 4, 2020Updated 6 years ago
• ethereumjs / ethereum-verified-contracts

  View on GitHub
  [DEPRECATED] Ethereum Verified Contracts
  ☆12Jun 29, 2018Updated 7 years ago
• Maddiaa0 / huff-lsp

  View on GitHub
  A language protocol implementation for Huff
  ☆14Nov 2, 2022Updated 3 years ago
• nervosnetwork / ckb-contract-guidelines

  View on GitHub
  ☆10Dec 11, 2020Updated 5 years ago
• ARR4N / specops

  View on GitHub
  SpecOps is a low-level, domain-specific language and compiler for crafting Ethereum VM bytecode. The project also includes a CLI with cod…
  ☆16Aug 18, 2024Updated last year
• ChainSecurity / deployment_validation

  View on GitHub
  Simplified Deployment Validation of EVM-Based Smart Contracts
  ☆36Mar 6, 2026Updated 2 weeks ago
• sqlitebrowser / iso-country-flags-svg-collection

  View on GitHub
  248 country flag SVG icons
  ☆12Mar 25, 2023Updated 2 years ago
• SkrewEverything / Command-Cache

  View on GitHub
  GUI program that logs a detailed history of executed terminal commands for easier access.
  ☆52Dec 24, 2018Updated 7 years ago
• EdwardsVO / gas-optimization-notes

  View on GitHub
  Solidity gas optimization notes
  ☆10Apr 27, 2023Updated 2 years ago
• ricobank / ricobank

  View on GitHub
  rcs1
  ☆13Aug 26, 2024Updated last year
• blockhackersio / zrclib

  View on GitHub
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆13Oct 20, 2023Updated 2 years ago
• althea-net / serde-rlp

  View on GitHub
  Ethereum's RLP encoding implemented as a Serde data format
  ☆13Oct 10, 2022Updated 3 years ago
• tdd-best / tdd-by-example-the-xUnit

  View on GitHub
  ☆13Oct 21, 2020Updated 5 years ago
• vault12 / glow

  View on GitHub
  Client library for interacting with Zax Cryptographic Relay
  ☆11Jul 27, 2021Updated 4 years ago
• QED-it / libsnark-tutorial_forge_proof

  View on GitHub
  ☆17Jul 14, 2018Updated 7 years ago
• lobster-dao / lobster-nft-contracts

  View on GitHub
  🦞 Lobster DAO NFT smart contracts
  ☆17Oct 8, 2021Updated 4 years ago
• chainlight-io / unwrap_let

  View on GitHub
  A Rust macro for quickly unwrapping a refutable pattern.
  ☆12Nov 10, 2023Updated 2 years ago
• nedasma / solidity-vuln-tests

  View on GitHub
  A repository for Solidity smart contracts acting as security bug tests for static analysis tools.
  ☆33Oct 14, 2021Updated 4 years ago
• 0xkitetsu-dineshsm / Huff-Challenge

  View on GitHub
  ☆18Aug 31, 2022Updated 3 years ago
• Bickio / the-witness-solver

  View on GitHub
  ☆15Jun 23, 2023Updated 2 years ago
• leonardoalt / powdr-brainfuck

  View on GitHub
  ZK proofs for Brainfuck execution using powdr
  ☆17Aug 28, 2024Updated last year
• WrappedBTC / DAO

  View on GitHub
  ☆32Nov 30, 2023Updated 2 years ago
• runtimeverification / kontrol-demo

  View on GitHub
  Foundry blog posts' executable demos
  ☆14Apr 30, 2025Updated 10 months ago
• rodrigoherrerai / huff-deployer

  View on GitHub
  A Hardhat plugin to test Huff contracts
  ☆14Jan 8, 2024Updated 2 years ago
• sec-bit / zkPoD-contract

  View on GitHub
  Smart contracts for zkPoD Decentralized Exchange
  ☆14Dec 10, 2022Updated 3 years ago
• vyperlang / vyper-lsp

  View on GitHub
  A Vyper LSP
  ☆14Jun 10, 2025Updated 9 months ago
• yfii / yficontract

  View on GitHub
  ☆16Aug 1, 2020Updated 5 years ago
• C0rWin / ledgerfsck

  View on GitHub
  ☆33Mar 24, 2020Updated 5 years ago
• devtooligan / memory-strux

  View on GitHub
  Optimized, in-memory, memory safe data structures written in Solidity.
  ☆36Jan 30, 2024Updated 2 years ago
• vorot93 / fastrlp

  View on GitHub
  Fast RLP serialization library
  ☆14Mar 6, 2026Updated 2 weeks ago
• clabby / keccak256-aarch64

  View on GitHub
  A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.
  ☆21Nov 6, 2023Updated 2 years ago
• autonomoussoftware / ethereum-transaction-indexer

  View on GitHub
  🗂Simple indexer service for Ethereum blockchains
  ☆18Sep 5, 2020Updated 5 years ago
• benhylak / trello_things3_sync

  View on GitHub
  Sync Things 3 and your GTD Trello Board!
  ☆15Jan 12, 2020Updated 6 years ago
• HarryR / zklangs

  View on GitHub
  High-Level languages for zkSNARKs, Fully-Homomorphic-Encryption and Multi-Party-Computation
  ☆22Apr 12, 2019Updated 6 years ago