Stars
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
A suite of benchmarks for real time systems, ported to RTEMS
syzkaller is an unsupervised coverage-guided kernel fuzzer
A True Instrumentable Binary Emulation Framework
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
AddressSanitizer, ThreadSanitizer, MemorySanitizer
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP…
🏡 Open source home automation that puts local control and privacy first.
轻量、可部署的微信机器人webhook服务，使用http接口收发微信消息, 用它作为个人通知、AIGC 应用或者 coze、n8n等自动化工作流的消息节点
Conversational RPA SDK for Chatbot Makers. Join our Discord: https://discord.gg/7q8NBZbQzt
A powerful open environment for automotive bus monitoring, simulation, testing, diagnostics, calibration and so on. It supports all kinds of mainstream hardware such as TOSUN, Vector, IXXAT, PEAK, …
Markdown linter written in python. Inspired by mivok/markdownlint
A Node.js style checker and lint tool for Markdown/CommonMark files.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A command line programmer for STC 8051 microcontroller
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
A VS Code extension for advanced, modern, static analysis of C/C++ that supports a number of back-end analyzer programs.
Splint - annotation-assisted static program checker
NaiveSystems Analyze is a static analysis tool for code security and compliance.
Find security vulnerabilities, compliance issues, and infrastructure misconfigurations early in the development cycle of your infrastructure-as-code with KICS by Checkmarx.
A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.