Microkit - A simple operating system framework for the seL4 microkernel

Component Architecture test suite and example apps.

Lightweight packet protocol structure for multi-device communication focused on RS-485

Lightweight printf library optimized for embedded systems

Lightweight shell implementation for embedded systems

Lightweight watchdog for RTOS and embedded systems

Lightweight generic ring buffer manager library

Versatile and easy to use C language utility library with functions and macros commonly used in various applications

Source code (C,C++,Java) static analysis tool

KLEEF Symbolic Execution Engine

translate python documents to Chinese for convenient reference 简而言之，这里用来存放那些Python文档君们，并且尽力将其翻译成中文~~

一些阅读源码和Fuzzing 的经验,涵盖黑盒与白盒测试..

KLEE Symbolic Execution Engine

Over 425 terminal color schemes/themes for iTerm/iTerm2. Includes ports to Terminal, Konsole, PuTTY, Xresources, XRDB, Remmina, Termite, XFCE, Tilda, FreeBSD VT, Terminator, Kitty, MobaXterm, LXTer…

Hash map implementation in C.

A type-safe hash map implementation for C

C++ unit test stub(not mock) and awesome.Surpported ISA x86,x86-64,arm64,arm32,arm thumb,mips64,riscv,loongarch64.

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

PluginOK(牛插)中间件是一个实现网页浏览器(Web Browser)与本地程序(Local App)之间进行双向调用的低成本、强兼容、安全可控、轻量级、易集成、可扩展、跨浏览器的原生小程序系统。通过此中间件可实现网页前端JS脚本无障碍操作本地电脑各种硬件、调用本地系统API及相关组件功能，可彻底解决DLL模块、ActiveX控件及自动化程序(如微软Office、金山WPS、AutoC…

vxWorks realtime feature debug tools.

Code samples from my blog

C++ EtherCAT Device Command & Control Library

TCov (Tiny coverage) is a small library to access GCov coverage information. It can be used in Embedded systems to get coverage information form the target.

GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or standard C libraries.

code coverage for c

LCOV

Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.

i.MX Linux kernel

No-assurance libraries for rapid-prototyping of seL4 apps.