code coverage for c
☆49Oct 31, 2017Updated 8 years ago
Alternatives and similar repositories for gcov
Users that are interested in gcov are comparing it to the libraries listed below
Sorting:
- GCNO and GCDA parser and writer implementation in Dart☆14Feb 27, 2017Updated 9 years ago
- code coverage for c☆44Oct 31, 2017Updated 8 years ago
- llvm Call Graph分析☆10May 27, 2017Updated 8 years ago
- my dot files in ubuntu☆10Jan 29, 2026Updated last month
- Python library for code analysis with CPG and Joern☆23Jun 23, 2023Updated 2 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆22Mar 9, 2024Updated 2 years ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- Ubpa Design Pattern☆28Apr 6, 2022Updated 3 years ago
- 💥 Crasher - open source dump/crash server for different programming languages (used for crash analysis in various applications)☆17Sep 16, 2022Updated 3 years ago
- Put thirdparty library here for toft ant foxy☆50Jun 7, 2021Updated 4 years ago
- YinTao uitest engine~☆10Apr 22, 2024Updated last year
- ☆21Sep 5, 2018Updated 7 years ago
- 《Redis 设计与实现》所使用的 sphinx 样式。☆17Dec 9, 2013Updated 12 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- N. Papadakis, G. Peyré, E. Oudet. Optimal Transport with Proximal Splitting. SIAM Journal on Imaging Sciences, 7(1), pp. 212–238, 2014.☆11Jan 7, 2017Updated 9 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆42Sep 18, 2023Updated 2 years ago
- The official repo for the CoRL 2022 paper 'Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation'☆10Oct 8, 2022Updated 3 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Oct 13, 2022Updated 3 years ago
- an example of dragging control points of bezier curves using d3.js☆10Sep 6, 2014Updated 11 years ago
- Hide the memory of the process in the Linux kernel.☆10Dec 8, 2020Updated 5 years ago
- This is a custom file system model that can be used with the QTreeView control. Unlike QFileSystemModel, QCustomFileSystemModel can be in…☆12Jan 30, 2024Updated 2 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- 《计算机组成与设计》读书笔记和实验☆42Jan 10, 2017Updated 9 years ago
- 机械臂深度学习正逆运动学☆10Jun 7, 2020Updated 5 years ago
- ORB-SLAM2-IMU-VIO 直接法加速的惯导加持的ORB-SLAM2☆11Nov 21, 2018Updated 7 years ago
- ☆20Updated this week
- Collection of must-have functional tools☆13Nov 28, 2014Updated 11 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Agent models implemented with Pyro☆11Jul 11, 2023Updated 2 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Aug 17, 2017Updated 8 years ago
- Yet another implementation of TI C6x DSP simulator☆12Jan 16, 2014Updated 12 years ago
- ☆10Oct 13, 2023Updated 2 years ago
- Presentations and docs☆12Jul 8, 2019Updated 6 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- 作为博客☆11Apr 30, 2020Updated 5 years ago
- 國際STEAM Maker Forum(STEAM) 創客論壇☆17Aug 5, 2016Updated 9 years ago
- A rule-based static code analyzer with PeopleCode-specific features and an extensible plug-in architecture.☆11Apr 10, 2021Updated 4 years ago
- ☆11Jan 6, 2020Updated 6 years ago