The runtime monitoring tool for smart contracts business logic.
☆18Dec 15, 2024Updated last year
Alternatives and similar repositories for HighGuard
Users that are interested in HighGuard are comparing it to the libraries listed below
Sorting:
- Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning☆30Nov 6, 2023Updated 2 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆20Apr 1, 2025Updated 11 months ago
- ☆13May 19, 2024Updated last year
- A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"☆13Dec 11, 2024Updated last year
- ☆14Aug 18, 2025Updated 7 months ago
- [ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction☆26Updated this week
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Oct 21, 2024Updated last year
- ☆41Jan 26, 2026Updated last month
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 11 months ago
- 🔥🔥🔥 DSLighting is an LLM-driven autonomous data science execution engine that turns task descriptions and datasets into iterative cod…☆44Feb 21, 2026Updated last month
- ☆20Jun 9, 2023Updated 2 years ago
- Rust SDK for FISCO-BCOS ,like some rusted but solid gears , help to build blockchain application with FISCO-BCOS☆10Apr 14, 2023Updated 2 years ago
- SWE-Debate: Competitive Multi-Agent Debate for Software Issue Resolution☆25Nov 11, 2025Updated 4 months ago
- A Repository of Real, Recent Java Bugs☆22Jan 6, 2026Updated 2 months ago
- Hacking and Exploiting Smart Contracts with Python Course Files☆25May 12, 2023Updated 2 years ago
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆98Dec 11, 2024Updated last year
- ☆13Dec 31, 2025Updated 2 months ago
- ☆16Feb 28, 2024Updated 2 years ago
- LLM-based and retrieval-augmented Control Code Generation☆23Oct 22, 2024Updated last year
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆22May 11, 2024Updated last year
- ☆40Oct 14, 2024Updated last year
- Linux Foundation Edge - Nexoedge☆14May 30, 2025Updated 9 months ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated last year
- Collect and maintain high quality instruction finetune datasets in different domain and languages. 搜集並維護高品質各專業領域及語言的指令微調資料集☆20Apr 6, 2023Updated 2 years ago
- eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.☆21Jul 24, 2023Updated 2 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆35May 11, 2025Updated 10 months ago
- Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)☆24Aug 23, 2022Updated 3 years ago
- For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and L…☆26Aug 27, 2025Updated 6 months ago
- ☆64Jan 4, 2023Updated 3 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆25Mar 28, 2024Updated last year
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆33Oct 14, 2021Updated 4 years ago
- ☆26Nov 2, 2025Updated 4 months ago
- Repository for course projects of EI338 Computer System. I appreciate it if you do not BAIPIAO.☆12Dec 22, 2019Updated 6 years ago
- ☆28Mar 18, 2024Updated 2 years ago
- [ICML 2025 Poster] Official PyTorch Implementation of "Habitizing Diffusion Planning for Efficient and Effective Decision Making"☆36May 26, 2025Updated 9 months ago
- Code repository for Liquid Time-stochasticity networks (LTSs)☆23Apr 26, 2023Updated 2 years ago
- ☆39Jan 27, 2024Updated 2 years ago
- 计算机基础学习指南☆18Sep 30, 2020Updated 5 years ago
- ☆64Jul 11, 2024Updated last year