Nicad clone detector with support for solidty smart contracts I.e. file-extraction, function-extraction, contract-extraction and block-extraction.
☆23Mar 14, 2023Updated 3 years ago
Alternatives and similar repositories for solidity-nicad
Users that are interested in solidity-nicad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- data and code for paper "CCGIR: Information Retrieval-based Code Comment Generation Method for Smart Contracts", which accepted in KBS. 智…☆17Apr 24, 2022Updated 4 years ago
- TeCo: an ML+Execution model for test completion☆31Jun 16, 2024Updated 2 years ago
- ☆17Jan 23, 2024Updated 2 years ago
- Solidity grammar for ANTLR4☆58Apr 18, 2025Updated last year
- Definition and Detection of Defects in NFT Smart Contracts☆28Aug 31, 2025Updated 11 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Solidity grammar for ANTLR4☆124May 2, 2020Updated 6 years ago
- ☆11Nov 2, 2022Updated 3 years ago
- ☆15Jan 23, 2020Updated 6 years ago
- A Python library for parsing the Abstract Syntax Tree (AST) of compiled Solidity files.☆11Dec 1, 2023Updated 2 years ago
- Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.☆10Sep 1, 2021Updated 4 years ago
- This repository contains 50,000 smart contracts extracted from the Ethereum network.☆20Mar 1, 2022Updated 4 years ago
- Smart Contract Vulnerability Detection Using Graph Neural Networks☆18Jun 22, 2020Updated 6 years ago
- Hyperparameter Tuning for Deep Learning☆16Feb 5, 2020Updated 6 years ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆15Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types☆15Aug 8, 2023Updated 3 years ago
- An Automatic DNN TrainingProblem Detection and Repair System☆20Dec 23, 2023Updated 2 years ago
- ☆20Oct 2, 2020Updated 5 years ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated 2 years ago
- This is the repo for our work “An Extensible Plug-and-Play Method for Multi-Aspect Controllable Text Generation” (ACL 2023).☆14Jul 23, 2023Updated 3 years ago
- ☆18Oct 19, 2022Updated 3 years ago
- ☆10Feb 28, 2017Updated 9 years ago
- Some examples of the Cpp target.☆10Nov 7, 2023Updated 2 years ago
- open source EPC for 5G☆14Sep 30, 2019Updated 6 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.
- ☆11Feb 16, 2024Updated 2 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- A LaTeX beamer theme template for CQU students.☆17Oct 25, 2022Updated 3 years ago
- ☆13May 27, 2019Updated 7 years ago
- pytorch版损失函数，改写自科学空间文章，【通过互信息思想来缓解类别不平衡问题】、【将“softmax+交叉熵”推广到多标签分类问题】☆12Aug 22, 2021Updated 4 years ago
- 重庆大学Beamer模板 --- CQUBeamerTemplate☆16May 7, 2018Updated 8 years ago
- Generating Sentences from Disentangled Syntactic and Semantic Spaces☆11Jun 24, 2019Updated 7 years ago
- Universal DLL injecting loader based on Detours☆15Jul 18, 2021Updated 5 years ago
- ☆12Oct 10, 2023Updated 2 years ago
- 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.
- [Findings of EMNLP 2022] Expose Backdoors on the Way: A Feature-Based Efficient Defense against Textual Backdoor Attacks☆13Feb 26, 2023Updated 3 years ago
- Lightweight tool for slicing☆36May 26, 2026Updated 2 months ago
- Data for our paper "Defending ChatGPT against Jailbreak Attack via Self-Reminder"☆20Oct 26, 2023Updated 2 years ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Jun 24, 2024Updated 2 years ago
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆14Oct 21, 2024Updated last year
- [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?☆12Dec 3, 2024Updated last year
- 基于安卓QQ 8.4.1.4680 椭圆曲线算法 (ECDH) 的 C# 实现☆12Aug 6, 2020Updated 6 years ago