OpenCL tool to detect buffer overflows in GPU kernels
☆23Jan 7, 2019Updated 7 years ago
Alternatives and similar repositories for clARMOR
Users that are interested in clARMOR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Asynchronous Task and Memory Interface, or ATMI, is a runtime framework and programming model for heterogeneous CPU-GPU systems. It provi…☆68Feb 15, 2024Updated 2 years ago
- Directed Acyclic Graph Execution Engine (DAGEE) is a C++ library that enables programmers to express computation and data movement, as ta…☆50Oct 12, 2021Updated 4 years ago
- ☆11May 3, 2019Updated 7 years ago
- GPUVerify: a Verifier for GPU Kernels☆82Jul 28, 2022Updated 4 years ago
- Clang-based translator for OP2☆12Jul 17, 2022Updated 4 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.
- CL Offline Compiler : Compile OpenCL kernels to HSAIL☆51May 5, 2017Updated 9 years ago
- Asset pack for the Vulkan samples repository☆31May 16, 2023Updated 3 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Dec 12, 2014Updated 11 years ago
- Docker image for GPGPU (OpenCL)☆12Mar 6, 2015Updated 11 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- PySide1 not dead yet☆14Apr 3, 2020Updated 6 years ago
- Legacy OS X GLX Implementation (has since been merged into mesa)☆14Oct 17, 2015Updated 10 years ago
- Awesome Lists☆13Feb 25, 2019Updated 7 years ago
- Automatically exported from code.google.com/p/freeocl