☆16Jun 21, 2024Updated last year
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.☆80Mar 25, 2025Updated last year
- ☆20Jan 16, 2025Updated last year
- Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts☆27Oct 12, 2024Updated last year
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆142Jun 16, 2024Updated last year
- 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.
- MANDO-HGT is a framework for detecting smart contract vulnerabilities. Given either in source code or bytecode forms, MANDO-HGT adapts he…☆20Mar 7, 2024Updated 2 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 6 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated 3 months ago
- ☆24Jul 19, 2025Updated 9 months ago
- ☆42Nov 14, 2024Updated last year
- ☆13Sep 20, 2021Updated 4 years ago
- ☆12Jan 7, 2025Updated last year
- A binary lifter and analysis framework for Ethereum smart contracts☆370Updated this week
- Quickly learn and understand the EIP-7702☆21Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Utilities for the Analysis of Ethereum Smart Contracts☆14Jul 26, 2025Updated 9 months ago
- The gas-analyzer is a tool for Ethereum developers seeking to enhance the efficiency and gas optimization of their Solidity code by Lever…☆17Apr 22, 2024Updated 2 years ago
- A Python library for parsing the Abstract Syntax Tree (AST) of compiled Solidity files.☆11Dec 1, 2023Updated 2 years ago
- A C++ implementation of an Artificial Neural Network (ANN).☆10Nov 29, 2025Updated 5 months ago
- 💾 Download smart contracts from etherscan.io☆23Nov 9, 2023Updated 2 years ago
- code for "Learning to Represent Programs with Heterogeneous Graphs"☆12May 17, 2022Updated 3 years ago
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆84Feb 3, 2024Updated 2 years ago
- P4DDLe: Introducing Packet-Level Analysis in Programmable Data Planes to Advance Network Intrusion Detection☆21Oct 7, 2024Updated last year
- This repository will describe the details surrounding the SIEM (wazuh) mini project, which will cover all aspects of topology design, dep…☆30Mar 19, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- BinaryCFGExtractor is an automated tool for extracting binary code control flow graph (CFG).☆18May 23, 2021Updated 4 years ago
- @wifi.id Account Extractor & Checker☆24May 24, 2018Updated 7 years ago
- ☆17Jan 13, 2022Updated 4 years ago
- Opencart Bruteforce and Upload Image☆11Aug 13, 2019Updated 6 years ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago
- ☆26Apr 25, 2024Updated 2 years ago
- Datasets for evaluating smart contract security analysis tools ( continuously updating... )☆200Aug 21, 2023Updated 2 years ago
- ☆17Aug 19, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆300Apr 21, 2026Updated last week
- [SEKE 2023] This is the implementation code of Heterogeneous Directed Hypergraph Neural Network (HDHGN) model in the paper Heterogeneous …☆23Aug 23, 2025Updated 8 months ago
- Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither☆22Apr 2, 2023Updated 3 years ago
- ☆28May 27, 2023Updated 2 years ago
- Smart contract vulnerability detection using graph neural network (DR-GCN).☆158Feb 28, 2023Updated 3 years ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆23Sep 15, 2024Updated last year
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Apr 12, 2023Updated 3 years ago