Search Results for "source code static anala" - Page 5
Sort By:
Showing 344 open source projects for "source code static anala"
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
ty
An extremely fast Python type checker and language server
ty is an extremely fast Python type checker and language server built in Rust, designed to provide highly responsive and accurate static analysis for modern Python development workflows. It is positioned as a next-generation alternative to tools such as mypy and Pyright, offering significantly faster performance through incremental analysis and optimized execution. The tool is designed from the ground up to power editor integrations, enabling real-time feedback as developers write code with... -
2
Hexagon
Hexagon is a microservices toolkit written in Kotlin
Hexagon is a microservices toolkit written in Kotlin. Its purpose is to ease the building of server applications (Web applications or APIs) that run inside a cloud platform. The Hexagon Toolkit provides several libraries to build server applications. These libraries provide single standalone features and are referred to as "Ports". -
3
Jenkins
Build great things at any scale
Jenkins is the leading open-source automation server that allows you to build great things at any scale. Jenkins is built with Java and provides hundreds of plugins for building, deploying and automating virtually anything, allowing you to focus on more important things. Jenkins is often used for building projects, running tests, analyzing static code and deployment. -
4
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... -
$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.
-
5
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... -
6
Application Inspector
A source code analyzer built for surfacing features of interest
Microsoft Application Inspector is a software source code characterization tool that helps identify coding features of first or third party software components based on well-known library/API calls and is helpful in security and non-security use cases. It uses hundreds of rules and regex patterns to surface interesting characteristics of source code to aid in determining what the software is or what it does from what file operations it uses, encryption, shell operations, cloud API's, frameworks and more and has received industry attention as a new and valuable contribution to OSS on ZDNet, SecurityWeek, CSOOnline, Linux.com/news, HelpNetSecurity, Twitter and more and was first featured on Microsoft.com. ... -
7
The Apache Struts web framework
Mirror of Apache Struts
The Apache Struts web framework is a free open-source solution for creating Java web applications. Web applications differ from conventional websites in that web applications can create a dynamic response. Many websites deliver only static pages. A web application can interact with databases and business logic engines to customize a response. Web applications based on JavaServer Pages sometimes commingle database code, page design code, and control flow code. ... -
8
RIBs
Uber's cross-platform mobile architecture framework
RIBs is the cross-platform architecture framework behind many mobile apps at Uber. The name RIBs is short for Router, Interactor and Builder, which are core components of this architecture. This framework is designed for mobile apps with a large number of engineers and nested states. Shared architecture across iOS and Android. Build cross-platform apps that have similar architecture, enabling iOS and Android teams to cross-review business logic code. Testability and Isolation. Classes must... -
9
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... -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
Gleam
A friendly language for building type-safe, scalable systems!
Gleam's powerful static type system helps find and prevent bugs at compile time, long before it reaches your users. It also serves as a productive refactoring tool, enabling programmers to confidently make large changes to unfamiliar code, quickly and with low risk. For problems, the type system can't solve (such as your server being hit by a bolt of lightning) the Erlang virtual machine provides well-tested mechanisms for gracefully handling failure. Hunting down bugs can be stressful so... -
11
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. -
12
Sensu Go
Simple. Scalable. Multi-cloud monitoring
...Sensu is extremely extensible and is commonly referred to as "the monitoring router". The shift from static to dynamic infrastructure requires a change in approach to monitoring, from host-based to functional role-based. Connectivity moves from remote polling to publish-subscribe, the control plane moves from point-and-click interfaces to infrastructure as code workflows and self-service developer APIs. -
13
Markdoc
A powerful, flexible, Markdown-based authoring framework.
...Markdoc is a Markdown-based syntax and toolchain for creating custom documentation sites. Stripe created Markdoc to power our public docs. Markdoc uses a fully declarative approach to composition and flow control. Maintain full control over your code and content. Markdoc is open-source and fully extensible. Markdoc delivers a powerful, flexible, developer experience (DX) with an equally capable authoring experience (AX). Use Markdoc to create interactive documentation experiences, static content sites, authoring tooling, and more. Markdoc core is a lightweight package containing everything you need to get started. -
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
Pluto
A cli tool to help discover deprecated apiVersions in Kubernetes
Kubernetes sometimes deprecates API versions. Most notably, a large number of deprecations happened in the 1.16 release. This is fine, and it's a fairly easy thing to deal with. However, it can be difficult to find all the places where you might have used a version that will be deprecated in your next upgrade. You might think, "I'll just ask the api-server to tell me!", but this is fraught with danger. If you ask the API-server to give you deployments.v1.apps, and the deployment was deployed... -
17
Daux.io
Documentation generator that uses a simple folder structure
Daux.io is a documentation generator that uses a simple folder structure and Markdown files to create custom documentation on the fly. It helps you create great-looking documentation in a developer-friendly way. 100% mobile responsive, CommonMark compliant (a Markdown specification), supports markdown tables, auto-created homepage/landing page. Auto syntax highlighting, auto-generated navigation, 4 built-In themes or roll your own, functional, flat design style. Shareable/linkable SEO... -
18
Gatling Studio
Desktop app that helps you craft Gatling load-testing simulations
Gatling Studio is a native desktop application created to simplify the creation of Gatling load-testing simulations from real browser traffic. Instead of hand-writing scenarios in Scala or Java from scratch, you use Gatling Studio to drive a Chromium-based browser through a typical user journey. The tool captures all HTTP and HTTPS requests and responses, saves them as a HAR file, and then automatically converts that data into a structured Gatling project with groups, pauses, and exec... -
19
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,... -
20
swagger-php
A php swagger annotation and parsing library
Compatible with the OpenAPI Specification version 3. formerly known as Swagger. Enhanced errors messages with hints and context. Generate OpenAPI documentation for your RESTful API using attributes or annotations. swagger-php allows to generate specs either for OpenAPI 3.0.0 or OpenAPI 3.1.0. By default the spec will be in version 3.0.0. The command-line option, version may be used to change this to 3.1.0. For cli usage from anywhere install swagger-php globally and make sure to place the... -
21
webiny
Enterprise open-source serverless CMS
...Write custom apps and business logic and let our framework solve the serverless complexities. Create new projects and scaffold apps and APIs via command-line. Deploy projects to AWS. A set of ready-made apps you can use to create APIs, static pages and forms using no-code approach. Open-source framework that helps you to architect, build and deploy solutions on top of serverless infrastructure. -
22
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... -
23
DevDocs
API Documentation Browser
The devdocs repository powers the DevDocs web application, a fast, offline-friendly documentation browser for many programming languages, libraries, and APIs. It aggregates documentation from multiple sources (e.g., MDN, Python, Ruby, Git, etc.), converts them into a uniform format, and indexes them for instant text searching. The codebase includes a backend that handles ingestion, parsing, and transformation of documentation sources into a static site structure, as well as the client side... -
24
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.... -
25
APIAuto
The most advanced tool for HTTP API
The most powerful and easy-to-use HTTP interface tool for agile development, machine learning zero-code testing, code generation and static inspection, document generation and cursor suspension comments. A one-stop experience integrating documentation, testing, mocking, debugging, and management, as well as efficient and easy-to-use shortcut keys such as one-key formatting, commenting/uncommenting, etc. In terms of common functions, it far exceeds Postman, Swagger, YApi and other open-source and commercial API documentation/testing tools, and can import use cases and documents with one click. ...