Search Results for "source code static anala" - Page 19
Sort By:
Showing 478 open source projects for "source code static anala"
View related business solutions-
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.
-
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.
-
1
Code Distance Visualizer is a static program analyzer. It learns patterns in user defined faulty and correct code instances and using visualization indicates which fragments in a program’s source code are the most similar to these instances.
-
2
PowerMock allows you to unit test code normally regarded as untestable. For instance it is possible to mock static methods, remove static initializers, allow mocking without dependency injection and more.
-
3
-
4
Highly customizable CASE-Tool for static code analysis based on software metrics with additional support for easy interpretation and Agile Development (evolutionary design).
-
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.
-
5
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.
-
6
You just need Python to use this powerfull CMS! It's a static content manager that supports templates, site variables, third part modules, and more. Five templates included. Modules: dater, code highlight, lister, menu maker, pop3 reader and more.
-
7
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.
-
8
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.
-
9
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.
-
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.
-
10
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.
-
11
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.
-
12
JeSS is a plugin for the Eclipse IDE. It is a static security scanner for Java source code. The plugin creates an AST for the source code and then uses the visitor pattern to find patterns in the AST that could be possible security bugs.
-
13
XHTMLUnit builds on JUnit and XMLUnit in order to provide testing and validation of generated (and static) XHTML code.
-
14
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.
-
15
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.
-
16
-
17
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.
-
18
This code provides a mechanism for a library programer to accept a callback function from the client (library user) that does not depend on the callback function being a global function or static member function.
-
19
A slashcode (1.05) based system for running a high-traffic (i.e. static pages, no postgres) indymedia web site. Originally deployed on phillyimc.org and also now at acp.sindominio.net. Currently in planning for version 2 to run on a slashcode 2.x code b
-
20
No more boring static web pages, this DHTML layout system facilitates building data-driven web-sites (weblogs, photo albums, etc.) without writing code. Runs on top of Unix + Apache + mod_perl + Mason (www.masonhq.com).
-
21
Clint is a testbed for static source-code checking techniques. It is currently designed to check C++ for common programmer errors and suggest improvements.
-
22
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.
-
23
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.
-
24
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 -
25
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.