Static Analysis

AutoFEM Static Analysis provides the calculation for the stress state of structures under forces which are constant in terms of time. To date probably this is the most demanded task in the design . By using the module "Static analysis," the engineer can evaluate the allowable stresses in design... Platforms: Windows

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... Platforms: *nix

ANALYSIS: Use of highly flexible, general, finite element method Static analysis of 2D trusses Unlimited number of Nodes and Bars All type of boundary conditions (fixed, rollers, etc.) Translational and rotational spring supports Initial displacement conditions Rapid model creation, no need... Platforms: Windows

ANALYSIS: Use of highly flexible, general, finite element method Static analysis of multi span beams, 2D trusses and 2D frames Unlimited number of Nodes and Beams 3 Degrees of freedom per Node, 6 per Beam All type of boundary conditions (fixed, rollers, etc.) Translational and rotational... Platforms: Windows

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... Platforms: Windows

JiveLint is a tool employing powerful static analysis on your JAVA source code. For example, JiveLint will find unused code and variables, switch blocks without a default case, if a class overrides Object.equals() but not Object.hashCode(), if code use == to compare Strings instead of equals(). Platforms: Windows

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

The Frame3D library is a complete analysis library for solving structural problems utilizing a powerful and robust analysis engine, which in combination with the reach analysis and element features can efficiently solve large scale static, dynamic, linear and non-linear problems. It has been... Platforms: Windows

AutoFEM Analysis is the finite element analysis software. The main feature of the system is its deep integration with AutoCAD Using AutoFEM Analysis, an AutoCAD user gets a possibility to solve the problem of finite-element modeling of various physical phenomena: Static analysis... Platforms: Windows

The AutoFEM Fatigue Analysis module is used in conjunction with AutoFEM Static Analysis and allows one to evaluate the strength of a structure, which is subjected to cyclic loading. This type of loading is usual in mechanical and structural engineering. The problem is that,when the load is... Platforms: Windows

AutoFEM Thermal Analysis provides a calculation of the temperature behaviour of products under the action of sources of heat and radiation. Thermal analysis can be used independently to calculate the temperature and thermal field of the design, as well as in conjunction with static analysis to... Platforms: Windows

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

Xrefactory is a plugin for Emacs, XEmacs, and jEdit which provides code completion, source browsing, and refactorings. It is based on full pre-processing, parsing, and static analysis of sources and works with the C, C++, and Java languages. Xrefactory contains a stand-alone cross referencer,... 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