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.
-
DbVisualizerDbVisualizer is a universal database client for anyone who works with data, from indie developers and startups to professional teams managing complex database environments, including developers, DBAs, analysts, and data engineers working across relational and NoSQL databases. Key features: - SQL editor with intelligent autocomplete, visual query builders, variables, and execution tools - AI Assistant for answering questions, explaining errors, and analyzing code - Git integration for managing SQL scripts and team collaboration - Customizable layouts, key bindings, and UI themes - Favorites for frequently used scripts and database objects - Configurable security settings for organizational requirements Connects via JDBC to MySQL, PostgreSQL, SQL Server, Oracle, Snowflake, SQLite, Cassandra, BigQuery, and more. Runs on Windows, macOS, and Linux. Nearly 7 million downloads, with Pro users in 150 countries, scaling from solo projects to enterprise database management.
-
CloudFilerCloudFiler provides filing and searching in both New and Classic Outlook on all phones & tablets, all popular browsers, Macs and ARM based devices. Created Microsoft's new web Add-in technology by the architect of the Oasys email management system previously owned by Arup Group Ltd and the Excitech Mail system owned by Symetri and latterly Pentagon. File to: the cloud, Windows folders, SharePoint, OneDrive, Egnyte, Autodesk Forma, Bentley ProjectWise, etc. Favoured by the biggest businesses globally.
-
Elation HealthElation Health is the leading platform for primary care, empowering 32,000 clinicians to deliver personalized care to over 16 million patients. With a clinical-first EHR, integrated billing, and AI-powered tools, Elation simplifies care workflows to help independent practices thrive.
-
Altium DevelopAltium Develop is a collaborative platform for modern electronics engineering teams that connects requirements management, PCB design, systems engineering, and manufacturing workflows. Built on Altium Designer and Altium 365, the platform provides a centralized environment for design collaboration, requirements traceability, BOM management, supply chain visibility, and engineering change management. Altium Develop helps hardware organizations maintain alignment between requirements, design decisions, and manufacturing outcomes while supporting distributed engineering teams through cloud-based collaboration. Core Features: • PCB design collaboration • ECAD-MCAD co-design workflows • Component and supply chain visibility • BOM and engineering change management • Design review and approval workflows • Cloud-native team collaboration • Requirements management and traceability Used by electronics teams building complex PCB-based products, Altium Develop is frequently evaluated alongside Cadence OrCAD, Cadence Allegro, Autodesk Fusion Electronics, KiCad, Siemens Xpedition, and SOLIDWORKS PCB for organizations seeking greater collaboration and lifecycle visibility across hardware development programs.
-
ALMobileGet ready for AI! Keep your field data accurate, organized, and prepared for action. ALMobile simplifies and unifies your field data tracking and payroll processes, ensuring seamless connectivity across your project team. Effortlessly track employee time, attendance, and project details—whether in the field or at the home office. Eliminate the chaos of scattered data and focus on what truly matters with ALMobile’s advanced reporting tools, which are fully integrated with your primary accounting system. Access real-time, customizable project and employee insights that are accurate and easy to analyze. Work smarter and faster with ALMobile—ditch the paper, spreadsheets, and outdated systems for good!
-
MentornityMentornity is mentoring and coaching program software for organizations that run structured programs and need to show what came of them. It covers the full cycle. Participants enrol and are matched by an algorithm that scores every possible pair against weighted criteria the program defines, discarding pairs that fail a mandatory rule; administrators approve suggestions individually or in bulk, assign by hand, or open a mentor pool and let participants choose. Mentors publish availability, mentees book within it, sessions sync to Zoom, Microsoft Teams or Google Meet, and reminders go out automatically before and after each meeting. Measurement runs alongside rather than after. Surveys and forms can be scheduled at any point in a cycle, and a program health score tracks participation, meeting frequency and completion against each program's own targets, flagging programs that drift before the cycle ends. Certificates are issued automatically on completion. Each program runs under its own branding on its own domain, with role-based access and six interface languages. Free for up to 10 users with no expiry and every feature enabled; paid plans start at $289 per month and scale by participant count. Running mentoring programs since 2015.
-
AuctionMethodSince 2012, AuctionMethod has provided white-label auction software and custom auction software development for the auction industry. Based in Massachusetts, serving the U.S., Canada, Australia, and New Zealand. Serving auctioneers, estate liquidators, farm and heavy equipment, industrial, salvage and recycling, non-profit, corporations, retail liquidators, auto/car dealers, real estate, and arts and collectibles auction businesses. There are no commissions, no per-lot fees, no platform skim, and no contract, so clients keep the revenue from every sale instead of splitting it with the platform. Clients keep 100% ownership of their bidder lists, seller lists, item data, images, and transaction history on a fully white-label auction website. The platform covers catalog and lot management, consignor management, bidder registration, invoicing, payment and tax handling, and reporting in one system. Auction event types include timed online auctions, simulcast auctions, blind timed auctions, catalog-only, fixed-price, and perpetual events. AuctionMethod includes a mobile app for iOS and Android. For operations whose workflows fall outside the standard product, AuctionMethod also builds custom auction software development solutions at a fixed rate. AuctionMethod's pricing starts at $100/mo with a $250 one-time setup charge. AuctionMethod offers a 30-day free trial, no credit card required. Highly rated 4.9/5 on Capterra and SourceForge with a 94% renewal rate.
Description
The Secure Programming Group at the University of Virginia's Department of Computer Science is responsible for the development and ongoing maintenance of Splint. David Evans leads the project and serves as its main developer. Memory bounds checking was created by David Larochelle. Significant contributions to Splint's development were also made by University of Virginia students, including Chris Barker, David Friedman, Mike Lanouette, and Hien Phan. Splint serves as the evolution of LCLint, a tool that originated from a collaborative research effort between the Massachusetts Institute of Technology and Digital Equipment Corporation's System Research Center. David Evans was also the chief designer and developer of LCLint. The initial concept for a static checking tool aimed at identifying discrepancies between LCL specifications and their C implementations came from John Guttag and Jim Horning. Their insights into the design and functionality proved invaluable, playing a crucial role in shaping both LCLint and its successor, Splint. Together, the team has fostered a robust environment for developing tools that enhance software reliability and security.
Description
bugScout is a platform designed to identify security weaknesses and assess the code quality of software applications. Established in 2010, its mission is to enhance global application security through thorough auditing and DevOps methodologies. The platform aims to foster a culture of secure development, thus safeguarding your organization’s data, resources, and reputation. Crafted by ethical hackers and distinguished security professionals, bugScout® adheres to international security protocols and stays ahead of emerging cyber threats to ensure the safety of clients’ applications. By merging security with quality, it boasts the lowest false positive rates available and delivers rapid analysis. As the lightest platform in its category, it offers seamless integration with SonarQube. Additionally, bugScout combines Static Application Security Testing (SAST) and Interactive Application Security Testing (IAST), enabling the most comprehensive and adaptable source code review for detecting application security vulnerabilities, ultimately ensuring a robust security posture for organizations. This innovative approach not only protects assets but also enhances overall development practices.
API Access
Has API
No
API Access
Has API
No
Screenshots View All
No images available
Integrations
.NET
No
Amazon Web Services (AWS)
No
Apache Ant
No
Apache Maven
No
AppVeyor
No
Azure DevOps Server
No
Bamboo
No
C
Yes
C#
No
C++
Yes
Integrations
.NET
Yes
Amazon Web Services (AWS)
Yes
Apache Ant
Yes
Apache Maven
Yes
AppVeyor
Yes
Azure DevOps Server
Yes
Bamboo
Yes
C
No
C#
Yes
C++
No
Pricing Details
No price information available.
Free Trial
No
Free Version
Yes
Pricing Details
No price information available.
Free Trial
No
Free Version
No
Deployment
Web-Based
Yes
On-Premises
No
iPhone App
No
iPad App
No
Android App
No
Windows
No
Mac
No
Linux
No
Chromebook
No
Deployment
Web-Based
Yes
On-Premises
Yes
iPhone App
No
iPad App
No
Android App
No
Windows
No
Mac
No
Linux
No
Chromebook
No
Customer Support
Business Hours
No
Live Rep (24/7)
No
Online Support
Yes
Customer Support
Business Hours
No
Live Rep (24/7)
No
Online Support
Yes
Types of Training
Training Docs
Yes
Webinars
No
Live Training (Online)
No
In Person
No
Types of Training
Training Docs
Yes
Webinars
No
Live Training (Online)
No
In Person
No
Vendor Details
Company Name
University of Virginia
Founded
2007
Country
United States
Website
splint.org
Vendor Details
Company Name
bugScout
Founded
2010
Country
Spain
Website
bugscout.io/en/
Product Features
Static Application Security Testing (SAST)
Application Security
No
Dashboard
No
Debugging
No
Deployment Management
No
IDE
No
Multi-Language Scanning
No
Real-Time Analytics
No
Source Code Scanning
No
Vulnerability Scanning
No
Static Code Analysis
Analytics / Reporting
No
Code Standardization / Validation
No
Multiple Programming Language Support
No
Provides Recommendations
No
Standard Security/Industry Libraries
No
Vulnerability Management
No
Product Features
Application Security
Analytics / Reporting
No
Open Source Component Monitoring
No
Source Code Analysis
No
Third-Party Tools Integration
No
Training Resources
No
Vulnerability Detection
No
Vulnerability Remediation
No
Static Application Security Testing (SAST)
Application Security
No
Dashboard
No
Debugging
No
Deployment Management
No
IDE
No
Multi-Language Scanning
No
Real-Time Analytics
No
Source Code Scanning
No
Vulnerability Scanning
No
Static Code Analysis
Analytics / Reporting
No
Code Standardization / Validation
No
Multiple Programming Language Support
No
Provides Recommendations
No
Standard Security/Industry Libraries
No
Vulnerability Management
No
