Search Results for "source code static anala"
Sort By:
Showing 10 open source projects for "source code static anala"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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.
-
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
CodeChecker
CodeChecker is an analyzer tooling, defect database
CodeChecker is a static analysis infrastructure built on the LLVM/Clang Static Analyzer toolchain, replacing scan-build in a Linux or macOS (OS X) development environment. Executes Clang-Tidy and Clang Static Analyzer with Cross-Translation Unit analysis, Statistical Analysis (when checkers are available). Creates the JSON compilation database by wiretapping any build process (e.g., CodeChecker log -b "make"). Automatically analyzes GCC cross-compiled projects: detecting GCC or Clang... -
3
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... -
4
CrossUI
CrossUI is a free Cross-Browser Javascript framework
Build fully interactive experiences codeless and serverless. Create code into Github repository directly. CrossUI No-Code App Builder enables anyone (no software developer required) to Create Interactive Apps Without Coding. Prototype, develop and package the exactly same code into Web Apps, Native Desktop (Windows, Linux and Mac) Apps, as well as Mobile Apps. Rich client-side API, works with any backend or static HTML pages. -
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.
-
5
Vite
Next generation frontend tooling. It's fast!
...Vite (French word for "quick", pronounced /vit/, like "veet") is a new breed of frontend build tooling that significantly improves the frontend development experience. It consists of two major parts. A dev server that serves your source files over native ES modules, with rich built-in features and astonishingly fast Hot Module Replacement (HMR). A build command that bundles your code with Rollup, pre-configured to output highly optimized static assets for production. -
6
pgTyped
pgTyped - Typesafe SQL in TypeScript
pgtyped brings type safety to SQL queries in TypeScript by parsing SQL files and generating typed query functions. It analyzes SQL against your PostgreSQL schema and outputs TypeScript code that ensures inputs and results are correctly typed. This allows teams to use raw SQL while retaining the safety and developer experience of TypeScript. -
7
Isar Database
Extremely fast, easy to use, and fully async NoSQL database
Minimal setup, Easy to use, no config, no boilerplate. Just add a few lines of code to get started. Store hundreds of thousands of records in a single database and query them efficiently and asynchronously. Isar has a rich set of features to help you manage your data. Composite & multi-entry indexes, query modifiers, JSON support and more. Isar has built-in full-text search. Create a multi-entry index and search for records easily. Isar ACID compliant and transactions are handled... -
8
mysqly
PHP data framework for Mysql
Full-featured opensource small-overhead PHP data framework for Mysql built for fast and efficient development -
9
imgcook
Generate pages from any sketch or images
imgcook is an ingenious chef who specializes in cooking with various images (Sketch / PSD / static images). it will intelligently generate front-end codes, including view codes, data-binding codes, component codes as well as part of business logic codes from different kinds of design documents. We are making imgcook a P5 front-end engineer who could improve the development efficiency and promote effective collaboration between front-end developers, designers and testers. The main functions... -
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.
-
10
Abstracts developers from SQL syntax, with methods that return Strings to pass on to JDBC, thus allowing compile-time checking for, many, otherwise run-time bugs. e.g. stmt.executeQuery(SqlWrapper.selectId(ordersTable, customerColumn, "John Smith")
- Previous
- You're on page 1
- Next
