Search Results for "source code static anala"
Sort By:
Showing 61 open source projects for "source code static anala"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
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.
-
1
PhpMetrics
Beautiful and understandable static analysis tool for PHP
PhpMetrics is a powerful static analysis tool for PHP code that provides metrics on code quality, complexity, maintainability, and architecture. It generates comprehensive reports in HTML format, visualizing metrics like cyclomatic complexity, lines of code, and coupling between classes. PhpMetrics helps developers identify potential code issues, optimize performance, and maintain high-quality codebases. -
2
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. -
3
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. -
4
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. -
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
5
CXX
Safe interop between Rust and C++
CXX is a library that offers safe interop between Rust and C++. It provides a safe mechanism for calling C++ code from Rust and vice versa, one that is protected from the many possible things that can go wrong when bindgen or cbindgen is used to generate unsafe C-style bindings. The general idea of CXX is to define the signatures of both sides of the FFI boundary embedded together in one Rust module. CXX gets a complete picture from this of the boundary, and through it is able to perform... -
6
Go Tools
Various packages and tools that support the Go programming language
This subrepository holds the source for various packages and tools that support the Go programming language. Some of the tools, godoc and vet for example, are included in binary Go distributions. Others, including the Go guru and the test coverage tool, can be fetched with go get. Packages include a type-checker for Go and an implementation of the Static Single Assignment form (SSA) representation for Go programs. -
7
Hutool
A set of tools that keep Java sweet
Hutool is a small but comprehensive Java tool class library. Through static method encapsulation, it reduces the learning cost of related APIs, improves work efficiency, makes Java as elegant as a functional language, and makes the Java language "sweet". The tools and methods in Hutool come from each user's meticulous attention to detail. It covers all aspects of the underlying code of Java development. It is not only a sharp tool to solve small problems in large-scale project development,... -
8
Slick database
Slick (Scala Language Integrated Connection Kit) is a modern database
Slick is a modern database query and access library for Scala. It allows you to work with stored data almost as if you were using Scala collections while at the same time giving you full control over when a database access happens and which data is transferred. You can write your database queries in Scala instead of SQL, thus profiting from the static checking, compile-time safety and compositionality of Scala. Slick features an extensible query compiler which can generate code for different... -
9
next international
Type-safe internationalization (i18n) for Next.js
Type-safe internationalization (i18n) for Next.js. -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
10
Truth
Fluent assertions for Java and Android
Truth is a library for performing assertions in tests. Truth makes your test assertions and failure messages more readable. Similar to AssertJ, it natively supports many JDK and Guava types, and it is extensible to others. Truth is owned and maintained by the Guava team. It is used in the majority of the tests in Google’s own codebase. -
11
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... -
12
Layui UI
An open source Web UI component library
layui is a set of open-source Web UI component library, which adopts its own classic modularization specifications and follows the development method of native HTML/CSS/JS. It is very easy to use and ready to use. Its style is simple and light, while its components are elegant and rich. Every detail from source code to usage method has been carefully crafted, which is very suitable for the rapid development of web interface. Layui is different from those front-end frameworks based on the... -
13
next-starter
A Next.js starter template, packed with features
next-starter is a comprehensive Next.js starter template designed to accelerate project initialization. It integrates essential tools and technologies, including TypeScript, Tailwind CSS, NextAuth.js, ESLint, Stripe, and various testing utilities, providing a robust foundation for building scalable and maintainable web applications. -
14
PHP Enum
PHP Enum
The myclabs/php-enum library is a PHP package that provides an object-oriented approach to implementing enumerations, inspired by the SPL's SplEnum. Before PHP 8.1 introduced native enum support, this library offered a structured way to define and use enumerated types, enhancing code readability and type safety. By extending the base Enum class, developers can create enums with defined constants, ensuring that variables only hold valid, predefined values. This approach helps prevent errors... -
15
Pretty Jupyter
Creates dynamic html report from jupyter notebook.
Pretty Jupyter is an easy-to-use package that allows to create beautiful & dynamic HTML reports. Most of the features require little to no work to get working and greatly improve the quality of the output report, or even the developer’s comfort when creating the report. For example, tabs make some visualizations much more comfortable. The features are integrated directly into the output page, therefore there is no need to have an interpreter running in the backend. This makes the HTML easily... -
16
cpp-httplib
A C++ header-only HTTP/HTTPS server and client library
A C++11 single-file header-only cross-platform HTTP/HTTPS library. It's extremely easy to setup. Just include the httplib.h file in your code! This is a multi-threaded 'blocking' HTTP library. If you are looking for a 'non-blocking' library, this is not the one that you want. SSL support is available with CPPHTTPLIB_OPENSSL_SUPPORT. libssl and libcrypto should be linked. When using SSL, it seems impossible to avoid SIGPIPE in all cases, since on some operating systems, SIGPIPE can only be... -
17
Nitro Modules
Insanely fast native C++, Swift or Kotlin modules
Nitro is a React Native native-module system for building very fast C++, Swift, and Kotlin modules with statically compiled bindings to JSI. It is designed to reduce runtime overhead by generating type converters ahead of time instead of relying on dynamic lookups. The project consists of the core react-native-nitro-modules library and the optional nitrogen code generator for module authors. Developers define interfaces in TypeScript and implement the native behavior in C++, Swift, Kotlin,... -
18
OpenAPI Generator
OpenAPI Generator allows generation of API client libraries
With 50+ client generators, you can easily generate code to interact with any server which exposes an OpenAPI document. Maintainers of APIs may also automatically generate and distribute clients as part of official SDKs. Each client supports different options and features, but all templates can be replaced with your own Mustache-based templates. Getting started with server development can be tough, especially if you're evaluating technologies. We can reduce the burden when you bring your own... -
19
mobx-state-tree
Full-featured reactive state management without the boilerplate
Technically speaking, MobX-State-Tree (also known as MST) is a state container system built on MobX, a functional reactive state library. This may not mean much to you, and that’s okay. I’ll explain it like this: MobX is a state management "engine", and MobX-State-Tree gives it structure and common tools you need for your app. MST is valuable in a large team but also useful in smaller applications when you expect your code to scale rapidly. And if we compare it to Redux, MST offers better... -
20
NGX-Translate
The internationalization (i18n) library for Angular
NGX-Translate is an internationalization library for Angular. It lets you define translations for your content in different languages and switch between them easily. It gives you access to a service, a directive and a pipe to handle any dynamic or static content. NGX-Translate is also extremely modular. It is written in a way that makes it really easy to replace any part with a custom implementation in case the existing one doesn't fit your needs. The main part of the library is named core.... -
21
Matplotlib
matplotlib: plotting with Python
Matplotlib is a comprehensive library for creating static, animated, and interactive visualizations in Python. Matplotlib makes easy things easy and hard things possible. Matplotlib ships with several add-on toolkits, including 3D plotting with mplot3d, axes helpers in axes_grid1 and axis helpers in axisartist. A large number of third party packages extend and build on Matplotlib functionality, including several higher-level plotting interfaces (seaborn, HoloViews, ggplot, ...), and a... -
22
Cloud Foundation Toolkit Project
The Cloud Foundation toolkit provides GCP best practices as code
Cloud Foundation Toolkit is a best-practices-as-code project intended to help teams build and manage Google Cloud environments in a more standardized, production-ready way. At its core, it combines a comprehensive set of Terraform blueprints with developer tooling that supports the creation and management of those blueprints. The repository is aimed at infrastructure teams that want reusable, policy-aligned starting points instead of assembling foundational cloud environments from scratch... -
23
FL Chart
FL Chart is a highly customizable Flutter chart library
fl_chart is a charting library for Flutter that focuses on expressive, highly customizable data visualizations with smooth animations. It offers a broad set of chart types—line, bar, pie, scatter, and radar—each exposed through clear data/option models rather than imperative drawing. Interactive features like touch handling, tooltips, selection/highlighting, and panning help apps present insights rather than static images. The package pays special attention to aesthetics, with options for... -
24
async-graphql
A GraphQL server library implemented in Rust
Async-graphql is a GraphQL server-side library implemented in Rust. It is fully compatible with the GraphQL specification and most of its extensions and offers type safety and high performance. You can define a Schema in Rust and procedural macros will automatically generate code for a GraphQL query. This library does not extend Rust's syntax, which means that Rustfmt can be used normally. I value this highly and it is one of the reasons why I developed Async-graphql. I like GraphQL and... -
25
Jimp
An image processing library written entirely in JavaScript for Node
An image processing library for Node written entirely in JavaScript, with zero native dependencies. If you're using this library with TypeScript the method of importing slightly differs from JavaScript. Instead of using require, you must import it with ES6 default import scheme. If you're using a web bundles (webpack, rollup, parcel) you can benefit from using the module build of jimp. Using the module build will allow your bundler to understand your code better and exclude things you aren't...