simple static source code analysis tool for C code, with user-definable properties
☆28Jul 8, 2024Updated last year
Alternatives and similar repositories for Uno
Users that are interested in Uno are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- Railway oriented programming talk and code for TechTrain2021☆11Mar 26, 2021Updated 5 years ago
- Blog post "CMake + Google micro-benchmarking"☆10Dec 30, 2018Updated 7 years ago
- Terrible Brainfuck to x64 compiler developed live in an hour☆11Jun 18, 2019Updated 6 years ago
- 2D molecular dynamics simulation of dust in dusty plasmas☆11May 21, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Following AUTOSAR guidelines can be easy and free!☆22Jan 16, 2024Updated 2 years ago
- Vulnerable Source Code Collected from Open Source Repositories for Dataset Generation☆17Dec 3, 2020Updated 5 years ago
- ☆17Feb 19, 2025Updated last year
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Jul 10, 2020Updated 5 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- ☆22Mar 21, 2024Updated 2 years ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆26Jan 3, 2025Updated last year
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- C++ Projekt Skeleton☆19Jul 2, 2015Updated 10 years ago
- Work related to conferences☆10Dec 8, 2023Updated 2 years ago
- Metalanguage analysis☆10Dec 10, 2018Updated 7 years ago
- User Guided API Misuse Detection☆30Dec 9, 2022Updated 3 years ago
- ☆26Mar 28, 2023Updated 3 years ago
- An application for developing developers.☆14Dec 8, 2022Updated 3 years ago
- Parse an open api (previously swagger) spec.☆15Feb 26, 2026Updated last month
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- AT command server written in C++☆12Aug 2, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Rust library to detect bots using a user-agent string☆16Jul 23, 2022Updated 3 years ago
- A survey to help potential co-founders explore their relationship and discover (in)compatibilities early on.☆16Apr 16, 2018Updated 7 years ago
- This repository contains material of a teaching innovation project in Universitat de Barcelona: "Intelligent Support System for Tutor of …☆10Jun 30, 2020Updated 5 years ago
- Experimental PSD loader made for Inochi Creator☆10Jul 23, 2023Updated 2 years ago
- A Semantics-Enhanced Learnable Vulnerability Detector☆44Jun 29, 2022Updated 3 years ago
- GuruTutor is a conversational intelligent tutoring system☆10Jun 27, 2019Updated 6 years ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 6 years ago
- Randomization program for Kirby: Nightmare in Dream Land for GBA☆14Jun 2, 2018Updated 7 years ago
- The Beauty and Joy of Computing public resource repository.☆12Mar 24, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Publish C++ vulnerability rules working drafts on github pages☆23Mar 30, 2026Updated last week
- The replication package of paper "Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks"☆28Jan 3, 2024Updated 2 years ago
- ORC: A tool for finding violations of C++'s One Definition Rule on the OSX toolchain.☆100Oct 7, 2025Updated 6 months ago
- Dynamically discover the commands used to create a piece of software☆58Oct 24, 2025Updated 5 months ago
- A composable container for Adaptive ROS 2 Node computations. Select between FPGA, CPU or GPU at run-time.☆12Apr 14, 2022Updated 3 years ago
- An open-source Unity3D implementation of the SNES Super Metroid game, one of my favorite games, multiplayer mode included.☆10Mar 4, 2017Updated 9 years ago
- Mining Relevant Fix Patterns for Automated Program Repair☆31Dec 14, 2022Updated 3 years ago