Search Results for "static code analysis"

...This library provides a convenience API to compose and recognize the MQTT topic strings used by the Jobs service. The library is written in C compliant with ISO C90 and MISRA C:2012, and is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone both static code analysis from Coverity.

PlatformIO is a professional collaborative platform for embedded development. A place where Developers and Teams have true Freedom! No more vendor lock-in! A user-friendly and extensible integrated development environment with a set of professional development instruments, providing modern and powerful features to speed up yet simplify the creation and delivery of embedded products. A lightweight but powerful cross-platform source code editor. Smart code completions are based on variable...

NOTE: This project is marked with 'Status: Abandoned' on SourceForge because not enough time can be dedicated to this project. However it may still get sporadic commits to the repository. eCxx is a library for AVR and NodeMCU tailored for micro LED displays and lighting effects. eCxx is utilizing Makefile build system. Java and Python based applications/tools are also included to ease the development and debugging process using the host PC. On one side, eCxx supports the original...

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...

This project is now in the research and development stage. It is intended for very small microcontrollers with a single processor and represent simple multithreading kernel what written by C language. Is planning create implementations for AVR8 and STM8, may be. Now it is suspended until better time.

...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, well-commented source code, and a test suite demonstrating the features; The system is proven - it has been in use since 1982 with applications in in-vitro medical equipment, process control instrumentation and industrial machinery; PRTOS is released by Cleveland Engineering Design, LLC - developer of the CoRTOS cooperative RTOS https://sourceforge.net/projects/cortos-simple/ and the CTREE analysis tool https://sourceforge.net/projects/ctree-graphic-tree-generator/ Commercial licensing is available

Feathery is a very small and full-featured ftp server for embedded devices. It is easy portable to every 8, 16 or 32 bit architecture and can run with or without an operating system.