Search Results for "source code static anala"
Sort By:
Showing 11 open source projects for "source code static anala"
View related business solutions-
$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.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
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
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. -
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.
-
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
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. -
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... -
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.
-
10
CRCLIB
CRC Library
CRCLIB is a small library of CRC calculations which can be used in other programs. Because CRC check is often used by binary communication protocols, it is made as simple as it can be, built into library so that it could be used regardless of language of application code. Written in plain C, built as dll and static library, and also contains C/C++ import header, C# wrapper and .NET project for MS SQL Server assembly. Supports CRC16 (including MODBUS) and CRC32. -
11
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