Search Results for "static code analysis" - Page 3

Reviewing memory allocation and data structures of an extant Sourceforge project unix-named "simupop". A new development version of the extant project is established and the ultimate goal is to "rev up" the old, hence the project name.

Note: this tool has moved to github, this repository is not maintained any more. See https://github.com/turdusmerula/ftrace GScopeLog is a tool for instrumenting c++ code through gcc. The main purpose is to trace entry/exit point of functions. A status file may be generated to give overview of functions calls and timing informations with minimal impact on performances.

A VM containing a turn-key solution for continuous integration with source code control, build management, automated testing, security analysis, defect tracking, and project management, all using open source tools.

Discover is an analysis tool that allows to measure how thoroughly Delphi programs have been tested. It shows interactively and directly in the source code which code sequences have been executed at least once and which have never been executed.

This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.

A suite of source and binary programs to test the capabilities of code analysis tools. A reference implementation of x86 binary analysis in C# is also included.

This is a plugin for Resharper that adds intellisense for the NMock2 mocking framework to Visual Studio.

Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

Recognizes typical patterns in Java code which could be replaced with functions provided by open source libraries http://www.jnorm.org

This project contains a set of tools for formal verification and static analysis of VHDL design.

An eclipse plugin for code coverage visualization of JUnit Tests. Especially useful for test-first development. Supported coverages include block coverage and all-uses coverage (Data Flow Analysis).

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.

DbgProfiler provides an easy mechanism for profiling certain hotspots of an application by just adding a few macros to the C++ source code. A hierarchy of the callers and callees is generated automatically and allows a detailed analysis of the results.

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.

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.

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.

This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.

BeCover is a Java code coverage tool based on source-code analysis. The main goal is to keep it small and fast, so using it as a plugin in the common IDE's can be achieved.

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.

...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

A toolbox for testing SQL. Currently, SQL Spelunk includes code coverage analysis and calling stored procedures in a rolled-back transaction from SQL and JUnit.

A set of scripts, based around doctest, for performing regression testing & code coverage analysis on Python modules.

News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki Alchemist plugin is a collection of plugins for GCC/LLVM for external and fine-grain code analysis and tuning. It is intended to to extract program properties for machine learning based optimization (see MILEPOST GCC); optimize programs at fine-grain level (such as unrolling, tiling, prefetching, etc); tune default optimization heuristic; gradually decompose program and detect performance or other anomalies; generate benchmarks particularly useful to train ML-based compilers. ...

...The plug-in tool will be able to generate the test cases automatically from the source codes by examining its line of code (LOC). The plug-in tool is an open source software to help the software developers generate the test cases for their system that they developed. It will help to ease the problems for software developers to come up with test cases manually as well as to check the system functionalities whether it meets the users’ requirements or not.