Search results
Results from the WOW.Com Content Network
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 ...
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 ...
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
Coverity is a proprietary static code analysis tool from Synopsys.This product enables engineers and security teams to find and fix software defects. Coverity started as an independent software company in 2002 at the Computer Systems Laboratory at Stanford University in Palo Alto, California.
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.
The Bauhaus project was initiated by Profs. Erhard Ploedereder [6] and Rainer Koschke [7] at the University of Stuttgart [8] in 1996. It was originally a collaboration between the Institute for Computer Science (ICS) of the University of Stuttgart and the Fraunhofer Institute for Experimental Software Engineering IESE [], [4] [9] which is no longer involved.
PerlTidy is a tool written in the Perl programming language to do static code analysis against code written in that same language. It uses either command-line switches or configuration files to reformat Perl scripts so they comply with specified coding rules. The default configuration is an approximation of the Perl Style Guide.
Code Insight is the name several software vendors (such as Borland, Embarcadero [1] and Oracle) use for source code autocompletion, similar to Microsoft's IntelliSense. Code Insight can also refer to source code analysis information such as annotation or revision history provided by tools like Atlassian FishEye .