☆28May 6, 2024Updated 2 years ago
Alternatives and similar repositories for gobench
Users that are interested in gobench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Mar 20, 2023Updated 3 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆19Apr 3, 2017Updated 9 years ago
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 6 years ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- Collected Concurrency Bugs in Our ASPLOS Paper☆261May 18, 2019Updated 7 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆31Aug 16, 2024Updated last year
- A group of students who are interested in Compilers, and they want to improve themselves together.☆24Aug 23, 2022Updated 3 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆45May 31, 2023Updated 3 years ago
- ☆25Oct 13, 2020Updated 5 years ago
- CodeDB 是一个专为软件开发本身开发的代码数据库，可以用于架构治理、代码生成等领域。基于架构孪生的理念，内建架构适度度函数、代码设计查询和存储 DSL、依赖分析引擎、机器学习算法等。☆44Dec 9, 2023Updated 2 years ago
- TLA+ model checking guided testing for distributed systems☆19Feb 12, 2024Updated 2 years ago
- ☆165May 24, 2024Updated 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.
- ☆21Oct 25, 2021Updated 4 years ago
- Gorums simplify fault-tolerant quorum-based protocols☆148May 31, 2026Updated last month
- A Pointer Analysis Framework for Rust☆69Jun 17, 2025Updated last year
- ☆21Dec 21, 2019Updated 6 years ago
- Evaluation of Rust for distributed programming compared to Go☆19Mar 22, 2021Updated 5 years ago
- Here is a common vulnerability when Kubernetes Controller designed.☆10Dec 11, 2023Updated 2 years ago
- Track Kubernetes CVEs by native GitHub notifications!☆13May 7, 2024Updated 2 years ago
- ☆12May 9, 2022Updated 4 years ago
- ☆22Aug 16, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- LLM Platform Security: Applying a Systematic Evaluation Framework to OpenAI's ChatGPT Plugins☆29Jul 29, 2024Updated last year
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆45Oct 4, 2019Updated 6 years ago
- Thesis code☆26Aug 16, 2023Updated 2 years ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 10 years ago
- Code and experiments for the paper "A Partitioning Algorithm for Maximum Common Subgraph Problems"☆15Jun 17, 2020Updated 6 years ago
- ☆15Mar 3, 2022Updated 4 years ago
- Source code of paper "EPScan: Automated Detection of Excessive RBAC Permissions in Kubernetes Applications"☆17May 14, 2025Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆33Mar 11, 2025Updated last year
- A tool to build a graph from a codebase☆14Feb 19, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Domain Specific Languages for Financial Systems Webpage☆12Mar 7, 2021Updated 5 years ago
- VATA Tree Automata Library☆35Feb 3, 2026Updated 5 months ago
- ☆11Apr 21, 2026Updated 2 months ago
- This GenAI demo project, built with CrewAI and AutoGen, showcases potential security risks associated with AI agents.☆17May 1, 2025Updated last year
- ☆19Feb 14, 2025Updated last year
- A GPT agent with a Text Interface tool☆15Feb 10, 2026Updated 4 months ago
- Static analyser for finding Deadlocks in Go☆321Oct 11, 2023Updated 2 years ago