☆16Jun 21, 2024Updated 2 years ago
Alternatives and similar repositories for FSE24-SmartAxe
Users that are interested in FSE24-SmartAxe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jan 14, 2025Updated last year
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆83Mar 25, 2025Updated last year
- smart contracts deployed on Ethereum, one per skeleton☆12Mar 10, 2024Updated 2 years ago
- A cross-chain data generator. Contains a data extractor and a cross-chain transaction generator for multiple cross-chain protocols/bridge…☆14Sep 23, 2026Updated last month
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆20Dec 19, 2025Updated 10 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts☆27Oct 12, 2024Updated 2 years ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆165Jun 16, 2024Updated 2 years ago
- ☆47Nov 14, 2024Updated last year
- This repository contains 47,398 smart contracts extracted from the Ethereum network.☆212Jun 3, 2020Updated 6 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆25Oct 15, 2025Updated last year
- MANDO-HGT is a framework for detecting smart contract vulnerabilities. Given either in source code or bytecode forms, MANDO-HGT adapts he…☆19Mar 7, 2024Updated 2 years ago
- ☆21Jan 16, 2025Updated last year
- agora-unknown_order☆13Sep 2, 2026Updated last month
- A simple cross-chain token bridge between Ethereum and Polygon☆12May 11, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A binary lifter and analysis framework for Ethereum smart contracts☆391Oct 21, 2026Updated last week
- PPLite: convex polyhedra library for Abstract Interpretation☆31Aug 4, 2026Updated 2 months ago
- Modular Multi-Directional Blockchain Bridge to interact with Multiple Networks; Ethereum, Substrate, BSC, Solana chains.☆14Aug 13, 2025Updated last year
- Smart contracts on the Ethereum side for cross-chain bridge☆15Mar 12, 2025Updated last year
- MCP server that integrates with the BlockSec https://blocksec.com platform to provide blockchain transaction analysis.☆11Oct 16, 2025Updated last year
- Solidity smart contracts to enable cross-chain Ample☆17Dec 23, 2024Updated last year
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆38Jun 18, 2026Updated 4 months ago
- ☆13Sep 20, 2021Updated 5 years ago
- ☆12Aug 10, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆16Oct 10, 2025Updated last year
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆42May 2, 2023Updated 3 years ago
- ☆10Nov 11, 2024Updated last year
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆17May 23, 2023Updated 3 years ago
- Extracting graph data from smart contract source code☆14Feb 28, 2023Updated 3 years ago
- ☆24Jul 19, 2025Updated last year
- ☆12Jan 7, 2025Updated last year
- Smart Contract Vulnerability Detection From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion (IJCAI-21 Accept…☆101Feb 28, 2023Updated 3 years ago
- Xscope: Hunting for Cross-Chain Bridge Attacks☆16Aug 1, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- VeriX: Towards Verified Explainability of Deep Neural Networks☆13Aug 5, 2026Updated 2 months ago
- Tool of xfuzz, machine learning guided cross-contract fuzzing☆11Aug 21, 2022Updated 4 years ago
- EVM CFG recovery☆127Jun 29, 2023Updated 3 years ago
- Data pertaining to the Nomad Bridge Hack☆24Dec 20, 2022Updated 3 years ago
- ☆18Dec 11, 2025Updated 10 months ago
- Utilities for the Analysis of Ethereum Smart Contracts☆14Jul 29, 2026Updated 3 months ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆78Aug 17, 2025Updated last year