Search Results for "source code static anala"
Sort By:
Showing 61 open source projects for "source code static anala"
View related business solutions-
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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
PLpgSQL Check
plpgsql_check is a linter tool (does source code static analyze)
plpgsql_check is a PostgreSQL extension for static analysis and runtime checking of PL/pgSQL functions. It helps developers catch bugs early by analyzing code structure, variable usage, and SQL correctness before execution. The extension is ideal for improving code quality in large Postgres-based applications. -
2
AWS SigV4 Library
AWS library to sign AWS HTTP requests with Signature Version 4
...This library can optionally be used by applications sending direct HTTP requests to AWS services requiring SigV4 authentication. This library has no dependencies on any additional libraries other than the standard C library. This library 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 static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool. -
3
bearer
Code security scanning tool (SAST) to discover security risks
Welcome to the Bearer documentation. Bearer is a static application security testing (SAST) tool that scans your source code and analyzes your data flows to discover, filter and prioritize security risks and vulnerabilities leading to sensitive data exposures (PII, PHI, PD). We provides built-in rules against a common set of security risks and vulnerabilities, known as OWASP Top 10. Leakage of sensitive data through cookies, internal loggers, third-party logging services, and into analytics environments. ... -
4
Crafting Interpreters
Repository for the book "Crafting Interpreters"
Static site generator tooling to compose book + code into HTML. Markdown source of book chapters and text prose. Full interpreter implementation in C (clox). -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
5
AWS IoT Fleet Provisioning Library
Client library for using AWS IoT Fleet Provisioning service
...This library has no dependencies on any additional libraries other than the standard C library, and therefore, can be used with any MQTT library. This library 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 static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool. -
6
codebase-memory-mcp
High-performance code intelligence MCP server
codebase-memory-mcp is a high-performance code intelligence MCP server built for AI coding agents. It indexes codebases into a persistent knowledge graph so agents can understand architecture, symbols, call chains, routes, and cross-service relationships without reading every file repeatedly. The project uses tree-sitter AST analysis across 158 languages and adds Hybrid LSP type resolution for major languages like Python, TypeScript, JavaScript, Go, C#, Java, Rust, C, and C++. It is built... -
7
Zelda 64: Recompiled
Static recompilation of Majora's Mask for PC
Zelda 64: Recompiled is a specialized recompilation project built on top of N64Recomp, focused on reconstructing The Legend of Zelda: Ocarina of Time and related N64 titles into native, compilable code for modern systems. It takes original game binaries and translates them into structured C code that can be compiled and run without requiring an emulator, enabling more efficient execution and deeper access to the game’s internals. The project is designed to preserve gameplay accuracy while... -
8
AWS IoT Jobs library
Client library for using AWS IoT Jobs service on embedded devices
...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. -
9
AWS IoT Device Defender Library
Client library for using AWS IoT Defender service on embedded devices
...This library has no dependencies on any additional libraries other than the standard C library, and therefore, can be used with any MQTT client library. This library 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 static code analysis using Coverity static analysis. -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
DNP3 Protocol Code Win Linux download
DNP3 Protocol Source code Library Outstation and client Win Linux
...list=PL4tVfIsUhy1abOTxSed3l56FQux5Bn_gj Interoperability : http://www.freyrscada.com/docs/FreyrSCADA-DNP-Driver-Object-Variation-Support.pdf FreyrSCADA offering Static and Dynamic Libraries (DLL, LIB), DNP3 Source Code Library, Demo Kit (Raspberry Pi & BeagleBone Black) or Customer specific Hardware windows, Linux, QNX -
11
Flipper Zero Unleashed Firmware
Flipper Zero Unleashed Firmware
Flipper Zero Unleashed Firmware. This software is for experimental purposes only and is not meant for any illegal activity/purposes. We do not condone illegal activity and strongly encourage keeping transmissions to legal/valid uses allowed by law. Also, this software is made without any support from Flipper Devices and is in no way related to the official devs. -
12
Checked C
Checked C is an extension to C that lets programmers write C code
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. The goal of the project is to improve systems programming by... -
13
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... -
14
Wuffs
Wrangling Untrusted File Formats Safely
Wuffs is a memory-safe, zero-dependency library and domain-specific language for writing high-performance image codecs and related parsers. Instead of trusting ad-hoc C, Wuffs code is compiled to C with strong bounds, integer, and state checks inserted by construction, aiming to eliminate whole classes of security bugs without a heavy runtime. The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in... -
15
Mongoose Embedded Web Server
An embedded web server
Mongoose is a networking library for C/C++. It implements event-driven non-blocking APIs for TCP, UDP, HTTP, WebSocket, MQTT. It is designed for connecting devices and bringing them online. On the market since 2004, used by vast number of open source and commercial products - it even runs on the International Space Station! Mongoose makes embedded network programming fast, robust, and easy. Cross-platform, works on Linux/UNIX, MacOS, Windows, Android, FreeRTOS, etc. Supported embedded... -
16
libgit2
A cross-platform, portable, linkable Git implementation library
...By clicking "merge pull request", we perform the merge. It is licensed under the GPLv2 license, so you can link it in its unmodified state with any type of software without releasing its source code. -
17
Lightweight ring buffer manager
Lightweight generic ring buffer manager library
The library provides generic FIFO ring buffer implementation. -
18
NaviServer
NaviServer, a high performance web server written in C and Tcl
...Originally based on AOLserver (http://www.aolserver.com), the ongoing development is done independently under Mozilla Public License by a core group of people that use it for their businesses and by other supporters. Features: High performance multi-threaded architecture, massively scalable and extensible, many modules, dynamic scripted pages (ADP), caching functions (static files, Tcl byte code, chunks), pooled database connections, thread shared arrays, introspection commands, mass virtual hosting (no server restart), watchdog, control port and command mode, efficient handling of down-/uploads with async I/O, IPv4/IPv6 Core developers: Vlad Seryakov, Stephen Deasey, Zoran Vasiljevic, Gustaf Neumann Source: https://github.com/naviserver-project/naviserver Info: https://wiki.tcl-lang.org/page/NaviServer Documentation: https://naviserver.sourceforge.io/n/toc.html -
19
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, BeagleBone Demo library. ... -
20
DNP3 Protocol Linux Arm POSIX code
DNP3 Protocol Source code Library for Linux x86 x64 ARM PowerPC
v21.06.018 DNP3 Protocol Linux SDK Supports Embedded Linux (ARM, Coldfire, Power PC), Ubuntu Linux(X86, X86-64), Fedora, CentOS, Red Hat and POSIX Complaint OS The source code will allow you to quickly compile your own examples with the features of your existing development environment to work with our DNP3 library. DNP3 Linux SDK contains Shared Library(.a) (precompiled library), Static link lib, Demo Server & Client programs, CodeBlock Demo console project files, Doxygen . DNP3 Demo Linux Shared Library includes simple (Outstation Server & Client C programs )example using a Command window and command line inputs. ... -
21
protocol IEC 104 Windows c c# code
IEC 104 Source code Library for Windows c c++ c# .net
v21.06.018 The complete implementation of IEC 104 protocol stack including File Transfer-Monitor and Control, Directory Commands, Supports all type of Monitoring, command, parameter ASDUs. Support C, C++, C# ( C SHARP .NET ), IEC 104 Windows SDK contains Win DLL (precompiled library), Static link lib, Demo IEC104 Server & Client programs, Visual Studio Demo console project files, Doxygen . Get free Download Evaluation Kit - IEC 104 Development Bundle In the Development... -
22
IEC 104 Protocol Linux arm code download
IEC 104 Source code Library for Linux c c++ posix arm
v21.06.018 Complete implementation of IEC 104 including file transfer. Supports Embedded Linux (ARM, Coldfire, Power PC), Ubuntu Linux(X86, X86-64), Fedora, CentOS, Red Hat. FreyrSCADA IEC 60870-5-104 Linux SDK contains Shared Library(.a) (precompiled library), Static link lib, Demo IEC104 Server & Client programs, CodeBlock Demo console project files, Doxygen . Get free Evaluation Kit - IEC 60870-5-104 Development Bundle In the Development Bundle, We included IEC 60870-5-104... -
23
DNP3 Protocol Win Linux test tool code
DNP3 Outstation and client simulator, Source code Library, win, Linux
...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, Source Code Library, Static and Dynamic Libraries for Windows, Linux, QNX - C, C++, C# .NET Demo Kit (Raspberry Pi & BeagleBone Black) or Customer specific Hardware. http://www.freyrscada.com/dnp3-ieee-1815.php Get a free DNP3 Protocol Development Bundle In the Development Bundle, We included DNP3 Outstation Server & Master Client Simulator, Windows & Linux SDK. ... -
24
IEC 60870-5 101 Linux arm POSIX code
IEC 101 Embedded Linux ARM, POSIX x86 x86-64 - c, c++ programming
...IEC 60870-5-101 Linux SDK - includes Demo Linux Shared Library, simple (Server & Client C programs )example using a Command window and command line inputs. The source code will allow you to quickly compile your own examples with the features of your existing development environment to work with our IEC 101 library. IEC 101 Linux SDK contains Shared Library(.a) (precompiled library), Static link lib, Demo IEC101 Server & Client programs, CodeBlock Demo console project files, Doxygen. Download Evaluation Kit - IEC 60870-5-101 Development Bundle In the Development Bundle, We included IEC 60870-5-101 Server & Client Simulator, Windows & Linux SDK. ... -
25
IEC 60870-5 101 Protocol Win C#
IEC 60870-5-101 Source code Library Stack - Windows c, c++, c# .net
v21,06.018 The complete implementation of IEC 101 protocol stack including File Transfer-Monitor, Balanced and Unbalanced mode, Directory Commands, Supports all type of Monitoring, command, parameter ASDUs. IEC 101 Windows SDK contains Win DLL (precompiled library), Static link lib, Demo IEC101 Server & Client programs, Visual Studio Demo console project files, Doxygen . We used Visual studio compiler to create the dll, sample test projects. FreyrSCADA offering 1) IEC101 Server Simulator 2) IEC101 Client Simulator 3) Static and Dynamic Libraries 4) IEC101 Source Code Library Download Evaluation Kit - IEC 101 Development Bundle In the Development Bundle, We included IEC 101 Server & Client Simulator, Windows & Linux SDK. ...