Search results
Results from the WOW.Com Content Network
MOOSE makes use of the PETSc non-linear solver package and libmesh to provide the finite element discretization. A key design aspect of MOOSE is the decomposition of weak form residual equations into separate terms that are each represented by compute kernels. The combination of these kernels into complete residuals describing the problem to be ...
Moose is a free and open source platform for software and data analysis built in Pharo. Moose offers multiple services ranging from importing and parsing data, to modeling, to measuring, querying, mining, and to building interactive and visual analysis tools. Moose was born in a research context, [1] and it is currently supported by several ...
A code quality analysis tool that uses static code analysis. RIPS: 2020-02-17 (3.4) No; proprietary — — Java — — — PHP A static code analysis solution with many integration options for the automated detection of complex security vulnerabilities. SAST Online: 2022-03-07 (1.1.0) No; proprietary — — Java — — — Kotlin, APK
Finite element software for structural, geotechnical, heat transfer and seepage analysis: Intuition Software: 5.11: 2016-01: Proprietary software: Free educational version available [17] Mac OS X, Windows: JCMsuite: Finite element software for the analysis of electromagnetic waves, elasticity and heat conduction: JCMwave GmbH: 5.4.3: 2023-03-09 ...
The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software. [1] The rules are intended to eliminate certain C coding practices that make code difficult to review or statically analyze.
PMD is able to detect flaws or possible flaws in source code, like: Bugs—Empty try/catch/finally/switch blocks. Dead code—Unused local variables, parameters and private methods. Empty if/while statements. Overcomplicated expressions—Unnecessary if statements, for loops that could be while loops.
Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards.
CodePeer is a static analysis tool, which identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code, typical of logic errors [1] in Ada programs. All Ada run-time checks are exhaustively verified by CodePeer, using a variant of abstract interpretation.