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
Sorting:
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- Blog post "CMake + Google micro-benchmarking"☆10Dec 30, 2018Updated 7 years ago
- kbench is a test suite to benchmark several hash table implementations heavily based on Heng Li's udb☆12Jan 8, 2018Updated 8 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Following AUTOSAR guidelines can be easy and free!☆21Jan 16, 2024Updated 2 years ago
- Vulnerable Source Code Collected from Open Source Repositories for Dataset Generation☆17Dec 3, 2020Updated 5 years ago
- Empirical Time and Memory Complexity Estimation☆11Jun 17, 2019Updated 6 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- MiDas: Multi-granularity Detector for Vulnerability Fixes (IEEE TSE)☆15Dec 5, 2023Updated 2 years ago
- Real-time Interactive Image/Video/Audio Processing Library for Math-Averse People☆14Dec 16, 2021Updated 4 years ago
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- C++ Projekt Skeleton☆19Jul 2, 2015Updated 10 years ago
- User Guided API Misuse Detection☆30Dec 9, 2022Updated 3 years ago
- ☆25Mar 28, 2023Updated 2 years ago
- Parse an open api (previously swagger) spec.☆15Feb 26, 2026Updated 3 weeks ago
- Examples and shell scripts for C++20 modules article & video.☆22Sep 8, 2021Updated 4 years ago
- WCRT CMake build☆11Mar 26, 2014Updated 11 years ago
- AT command server written in C++☆12Aug 2, 2023Updated 2 years ago
- ROS2 package that allows recording without interprocess communication☆17Feb 25, 2025Updated last year
- ☆22Aug 29, 2023Updated 2 years ago
- Metagenomic Analysis☆11Apr 5, 2021Updated 4 years ago
- A Semantics-Enhanced Learnable Vulnerability Detector☆44Jun 29, 2022Updated 3 years ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 6 years ago
- Publish C++ vulnerability rules working drafts on github pages☆23Mar 2, 2026Updated 2 weeks ago
- 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 5 months ago
- NTPD remote DOS exploit and vulnerable container☆25Oct 30, 2017Updated 8 years 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
- Janet bindings for GitHub's fork of cmark☆17Nov 23, 2025Updated 3 months ago
- Bill Joy's original ex☆17Aug 15, 2014Updated 11 years ago
- Simplified Source Code Pre-Training for Vulnerability Detection☆115Dec 4, 2025Updated 3 months ago
- Cube is a library (and application) made for LÖVE to run .love files (SO META!)☆11Jun 9, 2015Updated 10 years ago
- C++11 memory allocator based on memory pools. It offers fast and efficient allocation of a large number of small-size objects.☆11Sep 2, 2022Updated 3 years ago
- A system utility package for Torch.☆13Dec 22, 2017Updated 8 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- An implementation of Judy Arrays in 1250 Lines of C Code. (with sample CLI applications and Xcode project)☆17Jun 23, 2011Updated 14 years ago
- ☆12Oct 16, 2025Updated 5 months ago
- a better pattern matching macro for janet☆12Aug 4, 2024Updated last year