Search Results for "source code static anala" - Page 7
Sort By:
Showing 478 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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
Shannon
Fully autonomous AI hacker to find actual exploits in your web apps
Shannon is an autonomous AI penetration testing system built to find and prove real, exploitable vulnerabilities in web applications rather than stopping at static warnings or best-guess alerts. It focuses on “proof by exploitation,” meaning it actively hunts for attack vectors in your code and then attempts to execute end-to-end exploits to demonstrate impact. The project blends source-aware analysis with automated web interaction so it can validate issues like injection flaws, authentication bypasses, and other exploitable paths in a way that resembles an actual attacker’s workflow. ... -
2
Excalidraw MCP
Fast and streamable Excalidraw MCP App
Excalidraw-MCP is an open-source Model Context Protocol (MCP) application and server that connects the visual power of Excalidraw’s hand-drawn diagram editor with AI-driven workflows, enabling agents like Claude, ChatGPT, VS Code, and other MCP-compatible hosts to generate and manipulate diagrams programmatically. Rather than being just a static whiteboard, Excalidraw-MCP serves diagrams in real time using an MCP backend and streams interactive visual output back to the client, letting AI tools create shapes, connectors, text, and entire diagrams as part of conversational or task-based sessions. ... -
3
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... -
4
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. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
LeetCode Animation
Demonstrate all the questions on LeetCode in the form of animation
LeetCodeAnimation is an educational open source project by MisterBooo that visually demonstrates algorithm problems from LeetCode through animations. The goal of the project is to help learners understand complex algorithmic concepts intuitively by showing step-by-step animated explanations instead of relying solely on static code or text. Each animation corresponds to a specific problem and illustrates how data structures and algorithms operate dynamically, making it easier to grasp their underlying logic. ... -
6
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. -
7
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. -
8
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... -
9
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... -
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
JS Analyzer
Burp Suite extension for JavaScript static analysis
JS Analyzer is a powerful static analysis tool implemented as a Burp Suite extension that helps security researchers and web developers automatically uncover important artifacts in JavaScript files during web application testing. It parses JavaScript responses intercepted by Burp Suite and intelligently extracts API endpoints, full URLs (including cloud storage links), secrets like API keys or tokens, and email addresses while filtering out noise from irrelevant code patterns. The extension... -
11
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... -
12
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... -
13
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... -
14
StatsForecast
Fast forecasting with statistical and econometric models
StatsForecast is a Python library for time-series forecasting that delivers a suite of classical statistical and econometric forecasting models optimized for high performance and scalability. It is designed not just for academic experiments but for production-level time-series forecasting, meaning it handles forecasting for many series at once, efficiently, reliably, and with minimal overhead. The library implements a broad set of models, including AutoARIMA, ETS, CES, Theta, plus a battery... -
15
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... -
16
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,... -
17
Brakeman
A static analysis security vulnerability scanner for Ruby on Rails app
Brakeman is a free vulnerability scanner specifically designed for Ruby on Rails applications. It statically analyzes Rails application code to find security issues at any stage of development. Brakeman now uses the parallel gem to read and parse files in parallel. By default, parallel will split the reading/parsing into a number of separate processes based on number of CPUs. In testing, this has dramatically improved speed for large code bases, around 35% reduction in overall scan time.... -
18
OpenXR SDK
Generated headers and sources for OpenXR loader
OpenXR is a royalty-free, open standard that provides high-performance access to Augmented Reality (AR) and Virtual Reality (VR), collectively known as XR, platforms and devices. This repository contains OpenXR headers, as well as source code and build scripts for the OpenXR loader. It contains all generated source files and headers pre-generated for minimum dependencies. The OpenXR 1.0 specification is free for anyone to download, review and comment. Without a cross-platform standard, VR... -
19
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. -
20
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... -
21
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... -
22
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.... -
23
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. ... -
24
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... -
25
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...