Average Ratings 0 Ratings
Average Ratings 0 Ratings
Similar Products
-
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.
-
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.
-
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.
-
GitLabGitLab is a complete DevOps platform. GitLab gives you a complete CI/CD toolchain right out of the box. One interface. One conversation. One permission model. GitLab is a complete DevOps platform, delivered in one application. It fundamentally changes the way Security, Development, and Ops teams collaborate. GitLab reduces development time and costs, reduces application vulnerabilities, and speeds up software delivery. It also increases developer productivity. Source code management allows for collaboration, sharing, and coordination across the entire software development team. To accelerate software delivery, track and merge branches, audit changes, and enable concurrent work. Code can be reviewed, discussed, shared knowledge, and identified defects among distributed teams through asynchronous review. Automate, track, and report code reviews.
-
PeerGFSA Comprehensive Solution for Streamlined File Orchestration and Management across Edge, Data Center, and Cloud Storage PeerGFS presents an exclusively software-based solution designed to address file management and replication challenges within multi-site and hybrid multi-cloud environments. With our extensive expertise spanning over 25 years, we specialize in file replication for geographically dispersed organizations. Here's how PeerGFS can benefit your operations: Enhanced Availability: Achieve high availability through Active-Active data centers, whether located on-premises or in the cloud. Edge Data Protection: Safeguard your valuable data at the Edge with continuous protection to the central Data Center. Improved Productivity: Empower distributed project teams by providing swift, local access to critical file information. In today's world, having a real-time data infrastructure is paramount. PeerGFS seamlessly integrates with your existing storage systems, supporting: High-volume data replication between interconnected data centers. Wide area networks characterized by lower bandwidth and higher latency. Rest assured, PeerGFS is designed to be user-friendly, making installation and management a breeze.
-
NectarModern workforces can foster appreciation and connection among all their teams with Nectar, which is flexible and affordable. You can maintain culture, increase morale, and promote core values without having to manage your own internal program.
-
Blackbaud CRMBlackbaud CRM™ offers a robust solution for customer relationship management tailored specifically for large to enterprise-level nonprofit organizations. By merging unparalleled expertise in the nonprofit sector with top-tier fundraising and CRM software, Blackbaud CRM delivers integrated analytics, multichannel marketing, and data mining services that enable large nonprofits to foster stronger and more effective relationships. This comprehensive software solution not only leverages Blackbaud's extensive fundraising knowledge but also empowers nonprofits to enhance their fundraising initiatives. Navigate complex communication and fundraising challenges with a cohesive strategy that incorporates online giving, peer-to-peer fundraising, multichannel marketing, database segmentation, and effective web design. With Blackbaud CRM’s built-in prospect research tool, ResearchPoint™, organizations can eliminate uncertainty by accessing crucial insights regarding wealth capacity and philanthropic giving patterns, ensuring informed decision-making for future fundraising endeavors. Ultimately, Blackbaud CRM equips nonprofits with the necessary tools to thrive in an ever-evolving landscape.
-
WindocksWindocks provides on-demand Oracle, SQL Server, as well as other databases that can be customized for Dev, Test, Reporting, ML, DevOps, and DevOps. Windocks database orchestration allows for code-free end to end automated delivery. This includes masking, synthetic data, Git operations and access controls, as well as secrets management. Databases can be delivered to conventional instances, Kubernetes or Docker containers. Windocks can be installed on standard Linux or Windows servers in minutes. It can also run on any public cloud infrastructure or on-premise infrastructure. One VM can host up 50 concurrent database environments. When combined with Docker containers, enterprises often see a 5:1 reduction of lower-level database VMs.
-
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.
-
CodyCody is an advanced AI coding assistant developed by Sourcegraph to enhance the efficiency and quality of software development. It integrates seamlessly with popular Integrated Development Environments (IDEs) such as VS Code, Visual Studio, Eclipse, and various JetBrains IDEs, providing features like AI-driven chat, code autocompletion, and inline editing without altering existing workflows. Designed to support enterprises, Cody emphasizes consistency and quality across entire codebases by utilizing comprehensive context and shared prompts. It also extends its contextual understanding beyond code by integrating with tools like Notion, Linear, and Prometheus, thereby gathering a holistic view of the development environment. By leveraging the latest Large Language Models (LLMs), including Claude Sonnet 4 and GPT-4o, Cody offers tailored assistance that can be optimized for specific use cases, balancing speed and performance. Developers have reported significant productivity gains, with some noting time savings of approximately 5-6 hours per week and a doubling of coding speed when using Cody.
Description
CodePeer is a highly effective static analysis toolkit designed specifically for Ada programming, enabling developers to thoroughly comprehend their code and create more robust and secure software applications. This powerful source code analyzer identifies potential run-time and logic errors, allowing for the detection of bugs prior to program execution while acting as an automated peer reviewer that simplifies the error-finding process throughout all stages of the development lifecycle. By utilizing CodePeer, developers can enhance code quality and streamline safety or security assessments. This stand-alone application is compatible with both Windows and Linux operating systems and can be utilized alongside any standard Ada compiler or seamlessly integrated into the GNAT Pro development environment. Furthermore, CodePeer has the capability to identify various critical vulnerabilities listed among the “Top 25 Most Dangerous Software Errors” in the Common Weakness Enumeration. It supports all iterations of Ada programming, including versions 83, 95, 2005, and 2012. Notably, CodePeer has received qualification as a Verification Tool under the established DO-178B and EN 50128 software standards, making it a reliable choice for developers aiming to adhere to rigorous safety protocols. Additionally, the tool empowers users to proactively address issues, fostering a more efficient and confident development process.
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
Jenkins
Ada
Apache Subversion
Azure DevOps Server
C
C++
Git
GitHub
GitLab
HTML
Integrations
Jenkins
Ada
Apache Subversion
Azure DevOps Server
C
C++
Git
GitHub
GitLab
HTML
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
AdaCore
Founded
1994
Country
France
Website
www.adacore.com/codepeer
Vendor Details
Company Name
Novalys
Founded
1998
Country
France
Website
www.visual-expert.com
Product Features
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
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