Search Results for "static code analysis"
Sort By:
32 projects for "static code analysis" with 2 filters applied:
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
Larastan
Adds code analysis to Laravel improving developer productivity
Larastan was created by Can Vural and Nuno Maduro, got artwork designed by @Caneco, is maintained by Can Vural, Nuno Maduro, and Viktor Szépe, and is a PHPStan wrapper for Laravel. Larastan focuses on finding errors in your code. It catches whole classes of bugs even before you write tests for the code. -
2
jimmer
A revolutionary ORM framework for both java and kotlin.
A revolutionary ORM framework for both Java and kotlin and a complete integrated solution. You can view everything from the documentation. Brings dynamism into static language ORM frameworks, achieving flexible capabilities for operating on complex dynamic data structures without compromising the complete compile-time safety checks of static languages, eliminating DTO explosion and unafraid of engineering expansion and changing requirements. Its innovative SQL DSL supports dynamic table joins and native SQL embedding, gracefully handling real-world complexity. ... -
3
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. In practice, we find that unless these concerns are separated, larger applications become difficult to maintain. ... -
4
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". -
Managed MySQL, PostgreSQL, and SQL Databases on Google CloudCloud SQL is a fully managed relational database for MySQL, PostgreSQL, and SQL Server. We handle patching, backups, replication, encryption, and failover—so you can focus on your app. Migrate from on-prem or other clouds with free Database Migration Service. IDC found customers achieved 246% ROI. New customers get $300 in credits plus a 30-day free trial.
-
5
Sensu Go
Simple. Scalable. Multi-cloud monitoring
...It also has a number of well-defined APIs for configuration, external data input, and to provide access to Sensu's data. 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. -
6
tapjs
Test Anything Protocol tools for node
...An easily extensible TAP test framework, with outstanding TypeScript support, a CLI, plenty of assertion methods, snapshots, object/method spies, module mocking, file system fixtures, lifecycle hooks, test filtering, comprehensive code coverage analysis, color-accessible test reporters, and more. Software testing is a software and user experience design challenge that balances on the intersection of many conflicting demands. -
7
Smallpond
A lightweight data processing framework built on DuckDB and 3FS
smallpond is a lightweight distributed data processing framework built by DeepSeek, designed to scale DuckDB workloads over clusters using their 3FS (Fire-Flyer File System) backend. The idea is to preserve DuckDB’s fast analytics engine but lift it from single-node to multi-node settings, giving you the ability to operate on large datasets (e.g. petabyte scale) without moving to a heavyweight system like Spark. Users write Python-like code (via DataFrame APIs or SQL strings) to express... -
8
OWL
Optimized Workforce Learning for General Multi-Agent Assistance
OWL (Optimized Workforce Learning) is a sophisticated open-source framework built on the CAMEL-AI ecosystem for orchestrating teams of AI agents to collaboratively solve complex, real-world tasks with dynamic planning and automation capabilities. Unlike single-agent systems, it treats task completion as a collaborative workforce where agents take on specialized roles (planning, execution, analysis) and coordinate via a modular multi-agent architecture that supports flexible teamwork across... -
9
APNGKit
High performance and delightful way to play with APNG format in iOS
The APNGKit project is a high-performance framework for loading, displaying, and animating images in the UIKit / AppKit ecosystem (iOS, macOS, tvOS), specifically targeting the APNG (Animated PNG) image format. Unlike traditional static PNG images, APNG supports frame-by-frame animation with full-color images and transparency — yielding better visual fidelity than GIFs while remaining efficient. APNGKit offers a friendly API (e.g. APNGImage, APNGImageView) that behaves similarly to the... -
Build AI Apps with Gemini 3 on Vertex AIVertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.
-
10
NOTE THAT THE SOURCE CODE AND ISSUE TRACKER HAVE NOW MOVED TO GITHUB. FIND US AT https://github.com/GateNLP/ GATE (General Architecture for Text Engineering) is an architecture, framework and development environment for developing, evaluating and embedding Human Language Technology. See http://gate.ac.uk for full details.
-
11
NanoH5 (tsl2nano)
java bean / database driven zero code application framework
NanoH5 (or FullRelation) is a fullstack UI implementation framework providing a model driven design (MDA). Build a complete html5 application through a given class- or database-model without coding (coding APIs are available). -
12
joi-router
Configurable, input and output validated routing for koa
Easy, rich, and fully validated koa routing. koa-joi-router returns a constructor that you use to define your routes. The design is such that you construct multiple router instances, one for each section of your application which you then add as koa middleware. The route definition for the currently matched route is available via ctx.state.route. This object is not the exact same route definition object that was passed into koa-joi-router, nor is it used internally - any changes made to this... -
13
PowerMock
Java framework that allows you to unit test code normally
Writing unit tests can be hard and sometimes good design has to be sacrificed for the sole purpose of testability. Often testability corresponds to good design, but this is not always the case. For example final classes and methods cannot be used, private methods sometimes need to be protected or unnecessarily moved to a collaborator, static methods should be avoided completely and so on simply because of the limitations of existing frameworks. PowerMock is a framework that extends other... -
14
Yesod
A RESTful Haskell web framework built on WAI
Yesod is a high-performance web framework for Haskell focused on enabling productive development of type-safe, RESTful web applications. It leverages Haskell's strong static typing, compile-time safety checks, Template Haskell, and domain-specific quasiquoters to ensure high reliability and performance. Safety & security guaranteed at compile time. Developer productivity: tools for all your basic web development needs. Raw performance, fast, compiled code. Techniques for constant-space memory consumption. ... -
15
TypeScript Koa Starter
TypeScript Koa Starter
...Node Js is great for the rapid development of web-projects, but is often neglected because of the lack of type safety. TypeScript solves this issue and (along with its linter file) can even make your code more robust than some other static languages like Java. -
16
This project has moved to GitHub ! The version here at SourceForge will remain for historic purpose. Koopa is a parser generator, made for COBOL. It can handle source files in isolation (no preprocessing required) and doesn't mind the presence of CICS/SQL fragments. The grammar is easily extensible in a way which minimizes the impact on the overall code.
-
17
JPPF
The open source grid computing solution
JPPF makes it easy to parallelize computationally intensive tasks and execute them on a Grid. -
18
kaon.js
Kaon.js is a react isomorphic app solution
Kaon.js is an react isomorphic app solution. it contains webpack build, hot reloading, code splitting and server-side rendering. Kaon is a Decepticon-controlled city-state in the southern hemisphere of Cybertron. Under Decepticon rule, its capitol is the fortress of Kolkular. Config is a js file that default exported a Javascript object, it specified a lot ot configurations. The default path is <project_root>/config/kaon.config.js. But you can put it into anywhere of your project. -
19
BinNavi
BinNavi is a binary analysis IDE that allows to inspect, navigate, etc
BinNavi is a binary analysis IDE - an environment that allows users to inspect, navigate, edit, and annotate control-flow-graphs of disassembled code, do the same for the callgraph of the executable, collect and combine execution traces, and generally keep track of analysis results among a group of analysts. BinNavi uses a commercial third-party graph visualisation library (yFiles) for displaying and laying out graphs. -
20
Needle
The iOS Security Testing Framework
Needle is an open-source, modular framework to streamline the process of conducting security assessments of iOS apps. Needle was originally made to work with iOS 9 and iOS 10. Since then, Frida was released and become the defacto tool to use with mobile security assessments. Some common Frida mobile security scripts were later implemented within Needle, as some of these scripts worked better or addressed some issues that were present in Needle's custom tooling. Assessing the security of an... -
21
The Panini Language
Better Modularity, Better Concurrency
This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of... -
22
SPADE
A toolkit for developing and deploying protein structure algorithms.
The Structural Proteomics Application Development Environment is a Python tool kit for developing and deploying bioinformatics applications. Handles graphics, analysis, and modeling of protein sequence and structure. Source and Win installers available. SPADE source code can be cloned from http://www.github.com/deaconjs/SPADE. -
23
Java Dynamic Component Framework
This is a lightweight java dynamic component framework
This lightweight dynamic component framework, implemented in Java in a first time uses no code generation at all but uses only contracts. Contracts are expressed using simple software mechanism as interfaces and/or reflection (from middleware to application). A single small jar hosts the code dedicated to data, event and services management over the network, using contracts, reflection and generics. The main goal of the Java Dynamic Component Framework (jdcf) is to simplify the writing... -
24
R Unit test framework R functions implementing a standard Unit Testing framework, with additional code inspection and report generation tools
-
25
Octopress
Octopress is an obsessively designed framework for Jekyll blogging
Octopress is a blogging framework built on top of Jekyll, designed to make static site generation easier and more attractive for developers. It provides a theming system, plugins, and prebuilt templates for blogs that are responsive, SEO-friendly, and customizable. Octopress simplifies common tasks like syntax highlighting for code snippets, social sharing integration, and deployment scripts for publishing to GitHub Pages or other static hosts.
