Search Results for "source code static anala" - Page 14
Sort By:
Showing 344 open source projects for "source code static anala"
View related business solutions-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
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
YIIHAW is a static cross-language aspect weaver for .NET. It was designed with one clear objective in mind: To make an efficent aspect weaver that does not introduce any runtime overhead when applying aspects to an assembly.
-
2
METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.
-
3
NPL is a programming language designed to ease code visualisation. It visualises the static and dynamic aspects of a program along with it's semantics, thus making reading code easier.
-
4
SecurityCoach is an extensible software security auditing system that integrates with Eclipse, seamlessly performs static analysis of the source code in the background and warns a developer about potential software security vulnerabilities.
-
$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
EJB3checker is a static code analyzation suite for the EJB 3.0 technology. It checks the correct combination of annotations and declarations for entity and session beans.
-
6
This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.
-
7
XHTMLUnit builds on JUnit and XMLUnit in order to provide testing and validation of generated (and static) XHTML code.
-
8
Java Class and Byte Code verifier. Verifies static class file structure, external references, analyzes operand stack and local variables through byte code execution emulation. Includes CLDC standard verfication.
-
9
DynaHTML combines the advantages of static HTML pages with the flexibility of dynamic pages that employ server side scripting like php. This goal is reached using static HTML with inline script code that is converted to HTML on manual triggering.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
-
11
The TclPro tool set includes a graphical debugger, a static code checker, a wrapper to generate stand-alone executables, a "compiler" that writes out Tcl byte codes, and a loader that reads byte codes.
-
12
Clint is a testbed for static source-code checking techniques. It is currently designed to check C++ for common programmer errors and suggest improvements.
-
13
The aim is to develop a framework to translate UIML (User Interface Markup Language) description of UI into a number of plaforms (wxPython, HTML, etc.). Dynamic and "static" (into a program) rendering implied.
-
14
The Open Code Quality Project offers Static Code Analyses as an free Online-Service for Open Source Code. Simply send your code, start the scan, receive the results.
-
15
torque - Automation Testing Tool
Automation unit testing tool for C & C++ on Linux platform
...It covers major testing areas such as Unit Testing, Functional Testing and Regression Testing. Two major sections of the testing area like memory management and code coverage is accomplished by open source tools, such as, • Valgrind -- Memory Management • Lcov -- Code Coverage • splint -- Static Code Analysis 2. Supported Platform • Linux operating system on Intel x86 architecture • Linux operating system on Intel x86_64 architecture -
16
Enerjy is a static code analyzer for Java that integrates seamlessly with Eclipse. In addition to scanning your source code for stylistic problems, bugs and inefficient code, Enerjy also calculates your Enerjy Index Score.
-
17
Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.
-
18
Spider is a Java framework for creating web applications. Its major design goals are are testing, reducing boilerplate code, avoiding static state through dependency injection, strict M-V-C separation and convention over configuration.
-
19
CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.