Static Analysis

RTL-check is a framework for static analysis of programs from a safety and security perspective. RTL-check project performs analysis on RTL, which is the low-level intermediate representation generated by GCC. Whats New in This Release: - The performance of the analysis was improved, and a...

PEBrowse Professional is a free static-analysis tool and disassembler for Win32 executables and Microsoft .NET assemblies produced according to the Portable Executable specifications published by Microsoft. With the PEBrowse disassembler, one can open and examine any executable without the need...

The Swiss army knife of tools for source navigation, code understanding and static analysis - useful for every practicing software engineer. Fast and easy to use, it is a programmers IDE oriented at maintenance tasks. Understand helps development teams working in a rigorous environment where...


Platforms: Mac

PEBrowse64 Professional is a static-analysis tool and disassembler for Win64 executables and Microsoft .NET assemblies produced according to the Portable Executable specifications published by Microsoft. With the PEBrowse disassembler, one can open and examine any executable without the need to...


Platforms: Windows

cite-effect helps understand, validate and refactor programs through static analysis. After building a database, it reports variable's accesses within call tree(s), in a text format suitable for integration into editors (like jEdit or Emacs).


Platforms: Windows, Mac, BSD, Linux

This is the web page for FindBugs, a program which uses static analysis to look for bugs in Java code. It is free software, distributed under the terms of the Lesser GNU Public License. The name FindBugs??a*zNz and the FindBugs logo are trademarked by The University of Maryland. FindBugs has been...


Platforms: Windows, Mac, *nix, Java, BSD Solaris

CheckThread is a static analysis tool for catching Java concurrency bugs at compile time Java Threading is Difficult * Threading bugs are often sporadic * Threading bugs may not reproduce on the Java developer's platform * Many Java library API's do not clearly document their threading...


Platforms: Mac

Fenris is a suite of tools suitable for code analysis, debugging, protocol analysis, reverse engineering, forensics, diagnostics, security audits, vulnerability research and many other purposes. The main logical components are: - Fenris: high-level tracer, a tool that detects the logic used...


Platforms: *nix

Graudit is a simple script and signature sets that allows you to find potential security flaws in source code using the GNU utility grep. It's comparable to other static analysis applications like RATS, SWAAT and flaw-finder while keeping the technical requirements to a minimum and being very...


Platforms: *nix

XSD/e is a XML Processing for Embedded Systems. CodeSynthesis XSD/e is an open-source XML parser generator for mobile and embedded systems. It provides event-driven, stream-oriented XML parsing, XML Schema validation, and C++ data binding while maintaining a small footprint and portability....


Platforms: *nix

GNU BPEL2oWFN project translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to: - check for controllability or generate the operating guideline using the tool Fiona, - check for deadlocks or any...


Platforms: *nix

The Code Metrics PowerTool was developed to be a command line utility that calculates code metrics for your managed code and saves them to an XML file. This tool enables teams to collect and report code metrics as part of their build process. The code metrics calculated are: - Maintainability...


Platforms: Windows, 2003, Windows Vista, XPX64, 2008, 7, 7x64

For many embedded software projects, the primary verification goal is to find as many bugs as possible, as quickly as possible. The static analysis tools commonly used for this purpose are good at detecting flaws, but they do not prove that no errors remain in the source code. As a result, these...


Platforms: Matlab

Dimmunix is a tool for imparting deadlock immunity to Java/C/C++ software (both legacy and new) without any assistance from programmers or users. Deadlock immunity is a property by which programs, once afflicted by a deadlock pattern, develop the ability to avoid future occurrences of that...


Platforms: Mac

AutoFEM Analysis Lite is a free system of finite-element analysis. The main feature of the system is its deep integration with AutoCAD. Using AutoFEM Analysis Lite each user of AutoCAD gets possibility to solve the problems of finite-element modeling of various physical phenomena: - static...


Platforms: Windows

Codemetrics provides static code analysis and software metrics for PHP projects and Drupal codebases in particular.To see this in action, check out the broccoli project - demo site available at http://broccoli.raincitystudios.comThis is pretty much alpha code - it's still fairly experimental....


Platforms: PHP

Stock Price Analysis provide a free web based stock price analysis module. The easy to use interface incorporates Fundamental Analysis to calculate: Fair Value stock price; comparative stock Value; profit Target sell price; Stop Loss sell price; Price Earnings Ratio (PE) for Fair Value and Buy...


Platforms: Windows, Mac

Cache::Static is a Perl module used for caching without freshness concerns. SYNOPSIS HTML::Mason instructions In handler.pl: use Cache::Static; In any component you where you have a well defined set of dependencies which change the output: < %init > my $_cs_deps = [ #file dependencies...


Platforms: *nix

BASE is the Basic Analysis and Security Engine. It is based on the code from the Analysis Console for Intrusion Databases (ACID) project. This application provides a web front-end to query and analyze the alerts coming from a SNORT IDS system. BASE is a web interface to perform analysis of...


Platforms: *nix

Market Analysis System (MAS) is an open-source software application that provides tools for analysis of financial markets using technical analysis. Market Analysis System provides facilities for stock charting and futures charting, including price, volume, and a wide range of technical analysis...


Platforms: *nix