☆11Jan 14, 2025Updated last year
Alternatives and similar repositories for SliSE
Users that are interested in SliSE are comparing it to the libraries listed below
Sorting:
- ☆16Jun 21, 2024Updated last year
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆133Jun 16, 2024Updated last year
- Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts☆24Oct 12, 2024Updated last year
- ☆24May 13, 2024Updated last year
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated last month
- ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models☆57May 11, 2021Updated 4 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- This repository contains 47,398 smart contracts extracted from the Ethereum network.☆195Jun 3, 2020Updated 5 years ago
- Repository of benchmarks to evaluate Solidity Smart contract analysis tools☆73Jun 16, 2022Updated 3 years ago
- Verified Ethereum Smart Contract dataset☆29Nov 9, 2023Updated 2 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 11 months ago
- The standard for an L2 block explorer API☆11Jul 19, 2023Updated 2 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- ☆11May 10, 2022Updated 3 years ago
- MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabili…☆35Nov 24, 2023Updated 2 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 2 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- ☆11May 19, 2022Updated 3 years ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Jun 24, 2024Updated last year
- ☆45Jul 29, 2021Updated 4 years ago
- An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer☆50Jul 11, 2025Updated 7 months ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆44Oct 31, 2025Updated 4 months ago
- A tool for exploring the solc abstract syntax tree☆38Mar 20, 2024Updated last year
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Oct 11, 2023Updated 2 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 4 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆13Apr 27, 2025Updated 10 months ago
- MonoX被攻击事件的分析和复现☆10Dec 2, 2021Updated 4 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- This repository contains research papers & studies that I have worked on or am currently working on.☆12Jan 29, 2026Updated last month
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated 2 years ago
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- ☆12Nov 26, 2019Updated 6 years ago
- ☆47Aug 31, 2023Updated 2 years ago