Average Ratings 0 Ratings
Average Ratings 0 Ratings
Similar Products
-
ParasoftParasoft's mission is to provide automated testing solutions and expertise that empower organizations to expedite delivery of safe and reliable software. A powerful unified C and C++ test automation solution for static analysis, unit testing and structural code coverage, Parasoft C/C++test helps satisfy compliance with industry functional safety and security requirements for embedded software systems.
-
TrustInSoft AnalyzerTrustInSoft commercializes a source code analyzer called TrustInSoft Analyzer, which analyzes C and C++ code and mathematically guarantees the absence of defects, immunity of software components to the most common security flaws, and compliance with a specification. The technology is recognized by U.S. federal agency the National Institute of Standards and Technology (NIST), and was the first in the world to meet NIST’s SATE V Ockham Criteria for high quality software. The key differentiator for TrustInSoft Analyzer is its use of mathematical approaches called formal methods, which allow for an exhaustive analysis to find all the vulnerabilities or runtime errors and only raises true alarms. Companies who use TrustInSoft Analyzer reduce their verification costs by 4, efforts in bug detection by 40, and obtain an irrefutable proof that their software is safe and secure. The experts at TrustInSoft can also assist clients in training, support and additional services.
-
Aikido SecurityAikido is the all-in-one security platform for development teams to secure their complete stack, from code to cloud. Aikido centralizes all code and cloud security scanners in one place. Aikido offers a range of powerful scanners including static code analysis (SAST), dynamic application security testing (DAST), container image scanning, and infrastructure-as-code (IaC) scanning. Aikido integrates AI-powered auto-fixing features, reducing manual work by automatically generating pull requests to resolve vulnerabilities and security issues. It also provides customizable alerts, real-time vulnerability monitoring, and runtime protection, enabling teams to secure their applications and infrastructure seamlessly.
-
SDS ManagerSDS Manager is a premier provider of SDS Management solutions, featuring one of the world’s largest SDS databases with over 14 million Safety Data Sheets in 25 languages. With SDS Manager, employees can access essential SDS information directly from their mobile devices by simply scanning QR code posters in work areas where chemicals are used. This seamless mobile access promotes both safety and regulatory compliance. Our automated data extraction feature lets you effortlessly add SDS files to your library without any manual typing, significantly improving accuracy and streamlining SDS management. Keep your SDS library updated, organized, and ready for quick access in a secure cloud environment.
-
NXT1 LaunchITGet the fastest time to revenue available and government-level security with NXT1 LaunchIT, the world’s first 100% serverless, SaaS deployment and management platform. Go from code to published SaaS in 15 minutes. NXT1 LaunchIT enables instant availability by streamlining and automating every aspect of cloud infrastructure management required for SaaS delivery and sales – simply code and deploy. LaunchIT adheres to CISA’s Secure by Design guidelines and provides a direct path to FedRAMP compliance-readiness at a fraction of the traditional time and cost required, establishing new, impactful sales opportunities into state and federal government agencies. Built on Zero Trust principles, with integrated CI/CD management, multi-account and multi-region support, comprehensive performance management and observability, full ecommerce support, and GitHub integration, LaunchIT accelerates time to revenue for technology startups, legacy application migrations, enterprise expansions, systems integrations, and independent software development. Get started today with a 15-day free trial.
-
FastBoundSince 2010, FastBound’s Electronic A&D and Electronic 4473 FFL software has processed more than one billion transactions for thousands of Federal Firearms Licensees (FFLs). FastBound is not a jack of all trades; we are a master of one: firearms compliance software. Our expertise and responsive support are two big reasons why software companies trust FastBound more than any other provider to handle their firearms compliance for them. FastBound offers a robust API and syncs effortlessly with a growing list of point of sale (POS), enterprise resource planning (ERP), and other software packages. FastBound includes an attorney-backed compliance guarantee. FastBound is proud to be 100% developed and supported in the USA.
-
PathSolutions TotalViewTotalView offers network monitoring as well as root-cause troubleshooting of problems in plain-English. The solution monitors every device as well as every interface on every device. In addition, TotalView goes deep, collecting 19 error counters, performance, configuration, and connectedness so nothing is outside of it’s view. A built-in heuristics engine analyzes this information to produce plain-English answers to problems. Complex problems can now be solved by junior level engineers leaving the senior level engineers to work on more strategic level projects. The core product includes everything needed to run a perfectly healthy network: Configuration management, server monitoring, cloud service monitoring, IPAM, NetFlow, path mapping, and diagramming. Get Total Network Visibility on your network and solve more problems faster.
-
UnimusUnimus is a powerful network automation, configuration backup, and change management solution designed to simplify network operations for businesses of all sizes. Supporting 400+ device types across 150+ vendors, Unimus is a network-agnostic platform that eliminates manual network tasks while enhancing security and reliability. With automated configuration backups, Unimus ensures seamless disaster recovery, giving IT teams quick access to historical versions and real-time change tracking. Its network auditing features provide instant visibility into configuration consistency, compliance, and security risks. Change management is simplified with automatic change detection, detailed version history, and customizable notifications. Unimus' intuitive web-based interface makes it easy to manage networks without requiring deep technical expertise, while its integrated CLI access allows for real-time troubleshooting and command execution. Whether you're looking to automate bulk configuration changes, perform firmware upgrades, or improve network visibility, Unimus provides a scalable, cost-effective solution for modern network infrastructures.
-
DbVisualizerDbVisualizer is one of the world’s most popular database clients. Developers, analysts, and DBAs use it to advance their SQL experience with modern tools to visualize and manage their databases, schemas, objects, and table data and to auto-generate, write and optimize queries. It has extended support for 30+ of the major databases and has basic-level support for all databases that can be accessed with a JDBC driver. DbVisualizer runs on all major OSes. Free and Pro versions are available.
-
PoloniousPolonious is an ISO27001 investigation management workflow solution designed around 3 key principles: 1 - Security 2 - Process centric 3 - Configuration and flexibility What this means is that Polonious allows you to build workflows to manage your investigations in a way that manages your data and your evidence in a highly secure, ISO27001 certified way; allows you to comply with any regulatory requirements with minimal headache and effort by building workflows which are inherently compliant, and; does so without the need for expensive and time consuming code changes - it's even possible for users to do it themselves via the GUI. With Polonious, you can run detailed reports on case outcomes, timeframes, and finances, and break that down across case types, investigators, and even down to investigation status. So you can prove your value up the chain, but you can also identify any problem areas and improve your efficiency.
Description
Polyspace Code Prover serves as a static analysis tool aimed at ensuring that critical runtime errors are absent in C and C++ code without the need for execution. By employing formal methods, it examines every code path and possible input scenario to detect issues such as overflows, division by zero, and out-of-bounds accesses. The tool offers valuable insights into the ranges of variables and highlights unreachable code, which aids developers in enhancing software performance and maintaining quality. Additionally, Polyspace Code Prover adheres to safety standards including IEC 61508, ISO 26262, and DO-178C, making it an excellent choice for industries that demand strict software certification. Its comprehensive analysis capabilities enable teams to deliver reliable and robust software solutions.
Description
Visual Expert is a static code analyzer for Oracle PL/SQL, SQL Server T-SQL and PowerBuilder.
It identifies code dependencies to let you modify the code without breaking your application.
It also scans your code to detect security flaws, quality, performance and maintenability issues.
Identify breaking changes with impact analysis.
Scan the code to find security vulnerabilities, bugs and maintenance issues.
Integrate continuous code inspection in a CI workflow.
Understand the inner workings and document your code with call graphs, code diagrams, CRUD matrices, and object dependency matrices (ODMs).
Automatically generate source code documentation in HTML format.
Navigate your code with hyperlinks.
Compare two pieces of code, databases or entire applications.
Improve maintainability. Clean up code. Comply with development standards.
Analyze and improve database code performance: Find slow objects and SQL queries, optimize a slow object, a call chain, a slow SQL query, display a query execution plan.
API Access
Has API
API Access
Has API
Integrations
Apache Subversion
Azure DevOps Server
C
C++
Git
GitHub
GitLab
Jenkins
Oracle Database
PowerBuilder
Integrations
Apache Subversion
Azure DevOps Server
C
C++
Git
GitHub
GitLab
Jenkins
Oracle Database
PowerBuilder
Pricing Details
No price information available.
Free Trial
Free Version
Pricing Details
$495 per year
Free Trial
Free Version
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Deployment
Web-Based
On-Premises
iPhone App
iPad App
Android App
Windows
Mac
Linux
Chromebook
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Customer Support
Business Hours
Live Rep (24/7)
Online Support
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
Types of Training
Training Docs
Webinars
Live Training (Online)
In Person
Vendor Details
Company Name
MathWorks
Founded
1984
Country
United States
Website
www.mathworks.com/products/polyspace-code-prover.html
Vendor Details
Company Name
Novalys
Founded
1998
Country
France
Website
www.visual-expert.com
Product Features
Static Code Analysis
Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management
Product Features
Application Development
Access Controls/Permissions
Code Assistance
Code Refactoring
Collaboration Tools
Compatibility Testing
Data Modeling
Debugging
Deployment Management
Graphical User Interface
Mobile Development
No-Code
Reporting/Analytics
Software Development
Source Control
Testing Management
Version Control
Web App Development
Performance Testing
API Testing
Benchmarking
Cross Browser Testing
Debugging
Historical Reporting
Load Testing
Mobile Testing
Parallel Testing
Regression Testing
UI Testing
Web Testing
Source Code Management
Access Controls/Permissions
Bug Tracking
Build Automation
Change Management
Code Review
Collaboration
Continuous Integration
Repository Management
Version Control
SQL Server
CPU Monitoring
Credential Management
Database Servers
Deployment Testing
Docker Compatible Containers
Event Logs
History Tracking
Patch Management
Scheduling
Supports Database Clones
User Activity Monitoring
Virtual Machine Monitoring
Static Application Security Testing (SAST)
Application Security
Dashboard
Debugging
Deployment Management
IDE
Multi-Language Scanning
Real-Time Analytics
Source Code Scanning
Vulnerability Scanning
Static Code Analysis
Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management
Vulnerability Management
Asset Discovery
Asset Tagging
Network Scanning
Patch Management
Policy Management
Prioritization
Risk Management
Vulnerability Assessment
Web Scanning