Search Results for "static code analysis tool for c"
Sort By:
Showing 28 open source projects for "static code analysis tool for c"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
1
AWS IoT Fleet Provisioning Library
Client library for using AWS IoT Fleet Provisioning service
...This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool. -
2
cljfmt
A tool for formatting Clojure code
cljfmt is a static analysis and formatting tool for Clojure code, enforcing styling rules derived from the official Clojure Style Guide. It detects and fixes formatting errors while preserving code structure. It integrates with Clojure CLI, Leiningen, Brew, and can run as a standalone, CLI tool, or build plugin. -
3
AWS IoT Device Defender Library
Client library for using AWS IoT Defender service on embedded devices
...Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis. -
4
AWS IoT Jobs library
Client library for using AWS IoT Jobs service on embedded devices
...This library has also undergone both static code analysis from Coverity. -
Go from Data Warehouse to Data and AI platform with BigQueryBigQuery is more than a data warehouse—it's an autonomous data-to-AI platform. Use familiar SQL to train ML models, run time-series forecasts, and generate AI-powered insights with native Gemini integration. Built-in agents handle data engineering and data science workflows automatically. Get $300 in free credit, query 1 TB, and store 10 GB free monthly.
-
5
ShellCheck
A static analysis tool for shell scripts
ShellCheck is a GPLv3 tool that provides warnings and possible suggestions for bash/sh shell scripts. ShellCheck finds bugs in your shell scripts. You can cabal, apt, dnf, pkg or brew install it locally right now. ShellCheck highlights and clarifies typical beginner's syntax mistakes and issues that cause a shell to give a cryptic error message. It shows typical intermediate level semantic problems that cause a shell to behave in a abnormally and counter-intuitively. It can also discover... -
6
Particle Firmware for the Electron, P1
Device OS (Firmware) for particle devices
The Photon uses an ARM Cortex M3 CPU based microcontroller. All of the code is built around the GNU GCC toolchain offered and maintained by ARM. The build requires version 5.3.1 20160307 or newer of ARM GCC and will print an error message if the version is older than this. In order to turn your source code into binaries, you will need a tool called make. Windows users need to explicitly install make on their machines. Make sure you can use it from the terminal window. The entire Particle... -
7
DNP3 Protocol Win Linux test tool code
DNP3 Outstation and client simulator, Source code Library, win, Linux
DNP3 Protocol - v21.06.018 Complete implementation of DNP3 protocol standard including File transfer. Binary Input, Double-bit Binary Input, Binary Output, Counter Input, Analog Input, Analog output, Octect String, virtual terminal String. support CROB, analog output command with "select-before-operate" or "direct-execute" command execution modes Industry proven, tested with all leading test tools. DNP3 Protocol RTU Outstation Server Simulator, Client Master Simulator,... -
8
IEC60870-5 101 tools code library
IEC 101 Server and Client Simulator Source code Library, Win, Linux
v21,06.018 IEC101 RTU Server Simulator, IEC101 Client Master Simulator, Static and Dynamic Libraries, Source Code Library. Driver for Windows, POSIX Linux, ARM , PowerPC, QNX & more * Make your RTU, protocol converter, Gateway, HMI, Data concentrator compatible with iec 101. * Download Free Evaluation Kit - IEC 60870-5-101 Development Bundle. * In the Bundle included IEC 101 Server & Client Simulator, Windows and Linux SDK, C# projects, Doxygen , Raspberry Pi, ... -
9
PC_Workman_HCK
AI-powered PC monitoring that explains. Not shows numbers/spikes.
PC_Workman is what 680 hours of coding after warehouse shifts looks like. Built on a laptop hitting 94°C, this AI-powered monitoring tool does what Task Manager can't: it understands your system, not just measures it. Features: - Time travel monitoring - debug issues from hours ago - AI diagnostics with HCK_GPT - Custom fan curves with profiles - Floating always-on-top widget - 2D system map - Cross-GPU support (NVIDIA/AMD/Intel) Four complete rebuilds. 29 features killed.... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
LAME (Lame Aint an MP3 Encoder)
A high quality MP3 encoder
LAME is an educational tool to be used for learning about MP3 encoding. The goal of the LAME project is to improve the psycho acoustics, quality and speed of MP3 encoding. Note: we provide source code only! -
11
Windows Native Unix Shell (wnus prompt)
A comprehensive Unix/Linux-like shell environment for Windows 7+ 64bit
This project is implemented entirely in C++ without external dependencies. Windows Native Unix Shell (wnus prompt) (pronounced Wenus) brings the power and familiarity of bash sh ash commands and common terminal utilities to native Windows, with full NTFS support and Windows API integration. . It contains 342 fully implemented commands built-in , encompassing file managements operation and so much more. It has a comprehensive help system. This doesn't require WSL to work, or any... -
12
DocWire SDK
Award-winning modern data processing SDK in C++20
DocWire SDK, a standout C++20AI driven data processing tool, has received award from SourceForge and strong backing from Microsoft. It handles nearly 100 file types, empowering efficient text extraction, web data extraction, and document analysis. For businesses, the shift to DocWire SDK signifies a leap forward. It promises comprehensive document format support and the ability to extract valuable insights from email boxes, databases, and websites using cutting-edge AI. DocWire SDK aims to... -
13
AWS IoT Over-the-air Update Library
Manage the notification of a newly available update
The OTA library enables you to manage the notification of a newly available update, download the update, and perform cryptographic verification of the firmware update. Using the library, you can logically separate firmware updates from the application running on your devices. The OTA library can share a network connection with the application, saving memory in resource-constrained devices. In addition, the OTA library lets you define application-specific logic for testing, committing, or... -
14
Mosca
Tool to find bugs like a grep unix command
Just another Simple static analysis tool to find bugs like a grep unix command, at mosca have a modules, that was call egg, each egg is a simple config to find bug at especific language like PHP,Ruby,ASP etc... Example of egg config at directory "egg", If Mosca read a line with vunerability of egg in source code, then, mosca have alert about vulnerability and save at logs. -
15
Smart Contract Sanctuary
A home for ethereum smart contracts
...Contains smart contract sources for various networks, grouped by the first two chars of the contract address. A scriptable semantic grep utility for solidity (crunch numbers, find specific contracts, extract data) Semgrep is a fast, open-source, static analysis tool for finding bugs and enforcing code standards at editor, commit, and CI time, and now supports Solidity! A powerful online code search service that can be used to search the sanctuary without cloning. -
16
CTREE Graphic Tree Generator for C
An analysis tool showing the structure of a C program
CTREE is a command line utility providing analysis tools useful to software engineers tasked with tracking down problems or verifying a program's soundness. It is also an aid to understanding the structure of unfamiliar programs. As it works with standard C it finds most of its utility in embedded systems and older software. CTREE comes with a comprehensive manual. CTREE is is released by Cleveland Engineering Design, LLC - developer of the CoRTOS cooperative... -
17
progrep
Utility to show live progress, status & stats for running simulations
progrep is a command-line tool (Linux) to show live progress report, status & stats of a running simulation or compute job that executes a given number of iterations. It shows % completed, time remaining, time elapsed, number of threads, MPI_Rank(if any), CPU usage & speed (FPS). The FPS measures may be used in benchmarking, e.g. while optimizing HPC algorithms for performance. progrep supports both single-threaded and parallel (multicore/multinode - e.g. OpenMP/MPI) jobs. progrep can... -
18
CapAnalysis
PCAP from another point of view
CapAnalysis is a web visual tool for information security specialists, system administrators and everyone who needs to analyze large amounts of captured network traffic. Analyze TCP and UDP streams Support multible datasets Perform deep packet inspection Support filtering capability Source Code: https://github.com/xplico/CapAnalysis -
19
PRTOS Preemptive RTOS for embedded aps
PRTOS is a simple, compact preemptive RTOS for embedded systems
PRTOS is an open-source preemptive real time operating system kernel for embedded applications. It presently supports the AVR and MSP430 architectures. The advantages of PRTOS are: It has the smallest footprint of any true preemptive system: 1.9kB for basic scheduling and task control, 5.1kB with all the features below (AVR '328 / gcc -Os); Only 950 lines of code implement all of the RTOS features (SLOC-L); The system is well documented with a comprehensive manual,... -
20
vcproj2cmake
Visual Studio .vc[x]proj to CMakeLists.txt (make, Ninja ...) enabler
Elaborate Visual Studio .vcxproj / .vcproj projects to CMakeLists.txt converter, enabling Makefile or Ninja or IDE builds, i.e. full multi-platform CMake functionality (Linux, Mac, Windows...). Live Update capability: supports side-by-side tracking of evolving original proj files, within build tree!! Script hooks for static CMake defs, powerful definition-to-variable mapping. Access to project data content is via git repository _only_ (it's a developer infrastructure project, thus... -
21
Ichnaea
Performance Timing Tools
Ichnaea is a set of tools that aid in collecting and tracking parameters and timings for parallel applications. The Performance Modelling Timing Module, PMTM, is a library that wraps system timing calls to abstract these from code developers and aid portability. It also has functionality to store parameters and print those, along with the timing information to a comma separated variable file. The Performance Modelling Analysis Tool, PMAT, is coming soon. This is able to read in and... -
22
Linux Kernel Programming IDE (LinK+)
A Simple 'IDE'A for Linux Kernel Developers
LinK+ IDE is a simple IDE for Linux Kernel Developers and Lovers. It is based on Eclipse IDE customized for Linux kernel programming. It reduces the development time and executes code in an elegant fashion. This IDE supports Linux kernel configuration, compilation & emulation, system call development and device driver development. LinK+ IDE includes various templates in the category of character, block and network device driver subsystems for device driver development. It includes... -
23
NetStress-NG
NetStress is a DDoS and network stress testing tool.
Syn Flood Attacks SYNFlood with static source port SYNFlood with random source port SYNFlood with static source ip address SYNFlood with random source address SynFlood with fragmented packets ACK Flood Attacks ACK Flood with static source port ACK Flood with random source port ACK Flood with static source ip address ACK Flood with random source address ACK Flood with fragmented packets FIN Flood Attacks FIN Flood with static source port FIN Flood with random source... -
24
DReport
Console tool for creating directory level reports.
Tool to create a CSV report on directory hierarchies. Listing includes date range. Great for spreadsheet analysis to govern file archival. Another STDNOJ Project. By R.A Nagy -
25
The IPv6 Stack that runs on your target. FIP is designed to fit in medium-sized 8-bit microcontrollers, while not sacrificing performance on larger devices.
