Showing results: 1 - 15 of 51 items found.
-
SAST -
Synopsys, Inc.
Coverity® is a fast, accurate, and highly scalable static analysis (SAST) solution that helps development and security teams address security and quality defects early in the software development life cycle (SDLC), track and manage risks across the application portfolio, and ensure compliance with security and coding standards.
-
CodeSonar -
GrammaTech, Inc.
Automated static analysis designed for zero-tolerance defect environments. CodeSonar, GrammaTech''s flagship static analysis software, identifies programming bugs that can result in system crashes, memory corruption, leaks, data races, and security vulnerabilities. By analyzing both source code and binaries, CodeSonar empowers developers to eliminate the most costly and hard-to-find defects early in the application development lifecycle.
-
MEMS -
SemiProbe
Static and dynamic analysis and visualization are critical parts of the test and development process for MEMS microstructures in order to characterize surface metrology and measure in and out of plane motions. The PS4L Adaptive Architecture is ideal for configuring a system to perform tests to very specialized requirements of the MEMS customer. MEMS customers often require vacuum probing, which is available in semiautomatic and fully automatic configurations.
-
SAST -
Veracode
*Find Flaws Accurately, at ScaleScan over 100 languages and frameworks quickly and accurately.*Prioritize and Fix Flaws FastRapidly find and fix vulnerabilities with real-time feedback and reduce flaws introduced in new code by up to 60% with IDE scans.*Deliver a Frictionless Developer ExperienceCode confidently with contextual learning and easy integration with over 40 developer tools and custom APIs.*Streamline Governance, Risk Management, and ComplianceManage and measure the security posture of your applications with enterprise-wide security policies, robust reporting, and comprehensive analytics.
-
Klocwork -
Rogue Wave Software Inc.
Detect security, safety, and reliability issues in real-time by using this static code analysis toolkit that works alongside developers, finding issues as early as possible, and integrates with teams, supporting continuous integration and actionable reporting.
-
Klockwork -
Klockwork
Klocwork integrates seamlessly into desktop IDEs, build systems, continuous integration tools, and any team's natural workflow. Mirroring how code is developed at any stage, Klocwork prevents defects and finds vulnerabilities on-the-fly, as code is being written.
-
Green Hill Software, Inc.
Static analyzers attempt to find code sequences that may result in buffer overflows, resource leaks, or many other security and reliability problems. Source code analyzers are effective at locating a significant class of defects that are not detected by compilers during standard builds and often go undetected during run-time testing or typical field operation.
-
GrammaTech CodeSonar® -
Verifysoft Technology GmbH
CodeSonar is GrammaTech´s flagship static analysis software. Able to analyze both source code and binary code, it is specifically designed for zero-tolerance defect environments. With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle. Compared with other tools, CodeSonar identifies twice as many defects that result in system crashes, leaks, data races, memory corruptions and security vulnerabilities.
-
Jtest -
Parasoft Corp.
Parasoft Jtest is a complete Java developer's quality suite for static code analysis, code review, automated unit and component testing, coverage analysis, and regression testing ? on the desktop under leading IDEs and in batch processes.
-
PSA300 -
HORIBA, Ltd.
The HORIBA PSA300 is a state of the art turn-key image analysis solution. Seamless integration of Clemex's powerful particle characterization software and an automated microscope with high-resolution camera creates an intuitive, easy-to-use imaging workstation. Addressing a need in the field of particle characterization, the PSA300 is a versatile particle size and particle shape analysis tool that can be used in a wide range of applications in the pharmaceutical industries and material science. It is a turn-key solution for labs that want to maintain an analytical microscopy environment with minimum intervention by the operator yet still yield maximum detail in the results.
-
C++test -
Parasoft Corp.
Parasoft C++test is a complete C/C++ developer's quality suite for static code analysis, code review, automated unit and component testing, coverage analysis, and regression testing ? on the desktop under leading IDEs and in batch processes. Available for common enterprise and embedded environments.
-
PHPSA -
Dmitry Patsura
PHPSA is a development tool aimed at bringing complex analysis for PHP applications and libraries.*Static analysis*Code metrics*Branch prediction*Sandbox (AST) Compiler
-
Software Testing Magazine
The quality of the JavaScript code is often verified with the traditional activities of unit and functional testing. There are however tools that allow to check code before its execution to assess its quality and its adherence to coding standards using a process called static code analysis. This article presents a list of open source tools to perform static code analysis on JavaScript.
-
5740 -
TAKK Industries Incorporated
Our model 5730 handheld LCD static meter is the leading instrument in its class, quickly registering negative and positive static electricity charges of up to 150,000 volts, 100 volt resolution, on surfaces at a recommended distance of 4?. Its excellent accuracy, stability, ease of use and quick response make it an ideal instrument for engineers and quality experts in the analysis of static problems.
-
Morphologi Range -
Malvern Panalytical Ltd
Morphological imaging is fast becoming an essential technology in the laboratory toolkit for particle characterization. The Morphologi 4 is a fully automated static image analysis system which provides a complete detailed description of the morphological properties of particulate materials. The Morphologi 4-ID combines the same automated static image analysis with Raman spectroscopy in a single, integrated platform, providing component-specific morphological descriptions of chemical species within a blend.