This repository is dedicated to the smart contract auditing using our FTSmartAudit tool
☆29Feb 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for FTSmartAudit
Users that are interested in FTSmartAudit are comparing it to the libraries listed below
Sorting:
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆15Dec 19, 2025Updated 2 months ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆55Aug 17, 2025Updated 6 months ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆22Sep 15, 2024Updated last year
- ☆64Jul 11, 2024Updated last year
- This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…☆16Dec 10, 2024Updated last year
- smart contract platform☆56Oct 14, 2025Updated 4 months ago
- ☆42Nov 14, 2024Updated last year
- ☆19Mar 19, 2024Updated last year
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆94Dec 11, 2024Updated last year
- ☆24Jan 6, 2025Updated last year
- Generate invariants for Foundry projects with LLM☆104Aug 30, 2024Updated last year
- ☆24Sep 5, 2023Updated 2 years ago
- This repository contains source code and a high-quality test dataset for "Automated Commit Message Generation with Large Language Models.…☆10Nov 6, 2025Updated 3 months ago
- CrewAI-Agentic-Jira: Enhance your Jira workflows with intelligent agent-driven automation. Powered by the CrewAI framework, this project …☆21Feb 3, 2025Updated last year
- Move Vulnerability Database☆19Nov 18, 2025Updated 3 months ago
- chainlink demos☆12Apr 9, 2018Updated 7 years ago
- A boilerplate for dApps on Lisk☆12Jul 3, 2025Updated 8 months ago
- This project aims to convert the content of GitHub repositories into a structured, machine-readable format, enabling AI models like ChatG…☆12May 13, 2024Updated last year
- Standard implementation of TRC404☆10Jan 20, 2025Updated last year
- ☆10Jun 5, 2023Updated 2 years ago
- A Benchmark for Evaluating Safety and Trustworthiness in Web Agents for Enterprise Scenarios☆19Feb 24, 2026Updated last week
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 2 years ago
- AI based fuzzer based on imitation learning☆154Jun 17, 2024Updated last year
- Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives (TPS23)☆111Jun 18, 2024Updated last year
- ☆11May 30, 2024Updated last year
- The sec3 audit reports and publications☆11Feb 2, 2026Updated last month
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 3 months ago
- 💧A membrane between the decentralized world and centralized world☆12Jan 5, 2021Updated 5 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- This is the latest version of BinHunter paper☆13Apr 13, 2025Updated 10 months ago
- A Prompt Learning Framework for Source Code Summarization☆14Dec 26, 2023Updated 2 years ago
- Writeup for rwctf2019-final-printer☆14Dec 17, 2019Updated 6 years ago
- kernel exploit POC for vulnerability i found in amd gpu driver☆11Jan 6, 2023Updated 3 years ago
- CTF tasks created☆11Jan 12, 2023Updated 3 years ago
- DApp that let's you buy me a coffee with crypto ☕️☆12Oct 24, 2022Updated 3 years ago
- ☆18Nov 7, 2024Updated last year
- ☆11Feb 16, 2024Updated 2 years ago
- Fork from Hyperledger/caliper☆10Dec 3, 2018Updated 7 years ago
- Rasa Ephermal Installer☆13Jun 9, 2022Updated 3 years ago