☆10Sep 19, 2023Updated 3 years ago
Alternatives and similar repositories for solythesis-artifact
Users that are interested in solythesis-artifact are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solythesis: Securing Smart Contract with Runtime Validation☆13Mar 3, 2023Updated 3 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- ☆12Oct 10, 2023Updated 3 years ago
- ☆31Jan 4, 2023Updated 3 years ago
- ☆29Dec 28, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆20Oct 2, 2020Updated 6 years ago
- This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …☆86Jul 24, 2020Updated 6 years ago
- ☆31Dec 11, 2022Updated 3 years ago
- Data race skeletons from Uber's Go codebase for research in concurrency bug detection and analysis.☆11May 27, 2025Updated last year
- Runtime verification tool for Solidity smart contracts.☆34Mar 29, 2023Updated 3 years ago
- HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…☆46Dec 15, 2021Updated 4 years ago
- ☆10Sep 24, 2019Updated 7 years ago
- ☆65Jan 4, 2023Updated 3 years ago
- The Trinity client for the Eth2 network☆16Aug 25, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 3 years ago
- Bitwuzla SMT solver repackaged for convenient use in opam.☆11Sep 28, 2026Updated 3 weeks ago
- Cross-Modality Mutual Learning for Smart Contract Vulnerability Detection☆35Feb 28, 2023Updated 3 years ago
- Public code release for "Optimistic Verifiable Training by Controlling Hardware Nondeterminism" (NeurIPS 2024).☆11Oct 25, 2024Updated 2 years ago
- Complete examples of solidity exploits☆13Oct 17, 2017Updated 9 years ago
- ☆15Jun 10, 2025Updated last year
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated 2 years ago
- Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Daphne Yao, Na Meng. Example-Based Vulnerability Detection and Repair in Java Code 30th IEEE/AC…☆10Jul 31, 2022Updated 4 years ago
- 数理逻辑课程大作业（西安电子科技大学拔尖班大三年级）☆14Jan 31, 2026Updated 8 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- ☆13May 27, 2019Updated 7 years ago
- ☆11May 30, 2024Updated 2 years ago
- The front-end framework of smart contract vulnerability detection.☆11Jun 27, 2020Updated 6 years ago
- A dynamic checker for the ECF property incorporated into geth☆15Oct 27, 2017Updated 9 years ago
- A command-line tool to download photos from iCloud☆11Dec 7, 2022Updated 3 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆14Nov 11, 2022Updated 3 years ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆13Mar 6, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Verifiable RPC for Ethereum state, in-browser, no node☆44Mar 9, 2023Updated 3 years ago
- Pipeline for automatic test generation assessment☆11Mar 10, 2025Updated last year
- Code of our paper "Method-Level Bug Severity Prediction using Source Code Metrics and LLMs" which is accepted to ISSRE 2023.☆10Nov 12, 2023Updated 2 years ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆104Oct 11, 2023Updated 3 years ago
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- ☆11Nov 30, 2022Updated 3 years ago
- Generates loop invariants for program verification☆65Jan 22, 2021Updated 5 years ago