ge-sc and ge-sc-machine

These are **ecosystem siblings** — ge-sc is the heterogeneous graph representation research foundation, while ge-sc-machine (MANDO-GURU) is the operational deep learning tool that builds upon and implements that graph structure for practical vulnerability detection at both contract and line levels.

ge-sc
42
Emerging
ge-sc-machine
40
Emerging
Maintenance 0/25
Adoption 7/25
Maturity 16/25
Community 19/25
Maintenance 0/25
Adoption 7/25
Maturity 16/25
Community 17/25
Stars: 35
Forks: 19
Downloads:
Commits (30d): 0
Language: Solidity
License: MIT
Stars: 30
Forks: 8
Downloads:
Commits (30d): 0
Language: Python
License: MIT
Stale 6m No Package No Dependents
Stale 6m No Package No Dependents

About ge-sc

MANDO-Project/ge-sc

MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabilities in smart contract source code at both coarse-grained contract-level and fine-grained line-level.

This project helps smart contract auditors and developers automatically find common security vulnerabilities like reentrancy or access control issues. You provide it with smart contract source code, and it identifies potential flaws at both the overall contract level and specific lines of code. The intended users are security researchers, blockchain developers, and smart contract auditors.

smart-contract-auditing blockchain-security vulnerability-detection ethereum-development dapp-security

About ge-sc-machine

MANDO-Project/ge-sc-machine

MANDO-GURU, a deep graph learning-based tool, aims to accurately detect vulnerabilities in smart contract source code at both coarse-grained contract-level and fine-grained line-level.

This tool helps smart contract developers and auditors identify potential vulnerabilities in their Solidity smart contract source code. You input your Solidity code, and it tells you if specific types of bugs are present, and even highlights the exact lines of code that are problematic. It's designed for anyone responsible for the security and integrity of smart contracts on blockchain platforms like Ethereum.

smart-contract-security blockchain-development code-auditing decentralized-finance solidity

Scores updated daily from GitHub, PyPI, and npm data. How scores work