Search Results for "source code static anala" - Page 3

Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of...

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

A static checker that model checks the implementation of equality for an Eclipse Java Project.

A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration

Ethanon is a 2D game engine focused on the recent video cards for hardware acceleration and shader effects. The engine provides high-quality light an shadow effects with an easy visual interface and a simple and direct scripting system.

A web-based courseware system for programming courses. Provides support for on-line submission testing, static analysis, code coverage, peer and instructional code reviews and grading. Works with projects in any programming language.

GWTApp provides several features like: HTML templating and messaging at runtime without application recompiling, MetaField to auto bind and simulate annotation of RPC data fields, Strong typing in MVC, Modular structure in Maven.

Sugar4j generates code without the use of external text files, templates, JSP and the like. The static and the dynamic parts are both contained in the same Sugar4j java file. Everything is java. publicc().classs("Sugar4j").empty();

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")

The GroovyStAr ("Groovy Static Analyzer") project describes a new extensible SCA tool for Java and Groovy. The extensibility is reached through a customizable set of Groovy-scripts, each representing a static source code query against the created AST.

Design-Side Includes (DSI) is a command-line utility for inserting common sections of HTML code into multiple web pages at design-time. Use DSI to reuse web content while still realizing the operational benefits of deploying static web pages.

Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.

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.

Highly customizable CASE-Tool for static code analysis based on software metrics with additional support for easy interpretation and Agile Development (evolutionary design).

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.

The SoSART (Software Static Analysis Reliability Toolkit) is intedned to aid developers in assessing the reliability of existing Java source code through the usage of Static Analysis.

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.

XHTMLUnit builds on JUnit and XMLUnit in order to provide testing and validation of generated (and static) XHTML code.

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.

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.

JBoss diagnostics: JBoss-related diagnostic and debugging tools (static code analysis, profiling, log file collation / filtering / scanning, etc)

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.

The management of static code is a universal issue for every enterprise applications, this framework tries to address it with a lightweight and simple solution.

spag4j is a code generator written in Java to produce Java code for accessing a stored procedure layer from a database. Currently it supports stored procedures written in an Oracle. It produces either an EJB3 Java layer or simple static access methods.

Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.