Source-level code analysis toolkit for SAST, context engineering, and AI coding
☆30Mar 31, 2026Updated 2 weeks ago
Alternatives and similar repositories for ScubaTrace
Users that are interested in ScubaTrace are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Replication Package of Task-Oriented ML/DL Library Recommendation based on Knowledge Graph☆17Nov 30, 2022Updated 3 years ago
- L4 reverse proxy load balancer for TCP/UDP network services☆13Oct 12, 2025Updated 6 months ago
- Hodor for node.js☆15Jun 18, 2023Updated 2 years ago
- Chinese Translation of the Docbook Prince Version of the Complete Lojban Language☆10Jul 18, 2021Updated 4 years ago
- ☆13Apr 7, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆13Jan 22, 2025Updated last year
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 2 years ago
- Artifact for our ADS testing approach published at ICSE 2023☆23Feb 18, 2025Updated last year
- LLM for solidity smart contract automated program repair☆18Mar 5, 2025Updated last year
- SolGPT智能合约(区块链)漏洞检测大模型 Solidity(Smart Contract) Vulnerability Detection Base on GPT Model☆15Dec 25, 2024Updated last year
- 失败总是贯穿人生的始终，这就是人生。☆21Aug 5, 2024Updated last year
- 复旦大学 计算机考研 机试往年题☆46Mar 2, 2026Updated last month
- BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems (ISSTA 2023)☆25Mar 16, 2024Updated 2 years ago
- ☆12Jan 9, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆36Nov 22, 2023Updated 2 years ago
- Compendium of over 50 benchmarks for evaluating AI agents, categorized into Function Calling & Tool Use, General Assistant & Reasoning, C…☆120Oct 15, 2025Updated 5 months ago
- Declare job classes that can be run by a variety of queueing backends☆739Apr 20, 2016Updated 9 years ago
- YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, d…☆260Apr 1, 2026Updated last week
- This is NOT an Objective-C project. Menet is a TCP-based reverse proxy to help you expose a local server behind a NAT. It can be dynamica…☆17Feb 18, 2023Updated 3 years ago
- Dự án viết sách Nhập môn ngôn ngữ lập trình Golang☆27Aug 11, 2015Updated 10 years ago
- The code and dataset of the paper.☆15Mar 27, 2025Updated last year
- Code repository for CVPR2024 paper 《Pre-trained Model Guided Fine-Tuning for Zero-Shot Adversarial Robustness》☆25May 29, 2024Updated last year
- “CBGRU: A Detection method of Smart Contract Vulnerability Based on Hybrid Model”☆12May 29, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- SeqTrans: Automatic Vulnerability Fix via Sequence to Sequence Learning☆17Mar 9, 2022Updated 4 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated 7 months ago
- [ASE2024] Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training☆11Sep 13, 2024Updated last year
- A lightweight, continuously-updated catalog of research papers on AI agents.☆29Oct 13, 2025Updated 6 months ago
- Simple and efficient cross-platform C base development library☆20Aug 28, 2023Updated 2 years ago
- Module for IDA Pro disassembler that adds support for the M·CORE RISC MCU architecture.☆26Apr 1, 2025Updated last year
- 目标检测算法主要包括：两类two-stage和one-stage 一类是two-stage，two-stage检测算法将检测问题划分为两个阶段，首先产生候选区域（region proposals），然后对候选区域分类（一般还需要对位置精修），这一类的典型代表是R-CNN…☆16Sep 5, 2021Updated 4 years ago
- This repository hosts the source code for the paper "ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Mo…☆16Dec 16, 2025Updated 3 months ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 从零开始一个服务器（C语言）☆10Apr 11, 2019Updated 7 years ago
- ☆20Oct 2, 2020Updated 5 years ago
- The datasets and source code of the NDSS 2025 paper《BinEnhance: An Enhancement Framework Based on External Environment Semantics for Bina…☆30Nov 13, 2025Updated 5 months ago
- Artifact for TOSEM Submission: GiantRepair☆13Jun 26, 2024Updated last year
- MANDO-HGT is a framework for detecting smart contract vulnerabilities. Given either in source code or bytecode forms, MANDO-HGT adapts he…☆20Mar 7, 2024Updated 2 years ago
- This repo aims at providing a simple paper reading roadmap for beginners on some research topics in software engineering.☆19Oct 14, 2021Updated 4 years ago
- ACDLadder is a reconstruction of C2 Ladders with updated data set and tons of new features. Happy codin!☆19Aug 24, 2024Updated last year