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.
-
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.
-
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.
-
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!
-
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
Get started with codebeat to monitor every quality change in your GitHub, Bitbucket, GitLab, or self-hosted repositories quickly and effortlessly. With codebeat, you’ll benefit from automated code reviews that accommodate a wide range of programming languages. This tool not only assists in prioritizing issues but also helps you pinpoint quick wins for your web and mobile applications. Additionally, codebeat features an excellent team management system tailored for organizations and open-source contributors alike. You can assign various access levels and swiftly transfer team members between projects, making it an ideal solution for teams of all sizes, whether small or large. By integrating codebeat, you can enhance collaboration and streamline your development process.
API Access
Has API
No
API Access
Has API
No
Screenshots View All
No images available
Integrations
C
Yes
Bitbucket
No
C#
No
C++
Yes
Elixir
No
Erlang
No
GitHub
No
GitLab
No
Go
No
Java
No
Integrations
C
Yes
Bitbucket
Yes
C#
Yes
C++
No
Elixir
Yes
Erlang
Yes
GitHub
Yes
GitLab
Yes
Go
Yes
Java
Yes
Pricing Details
No price information available.
Free Trial
No
Free Version
Yes
Pricing Details
$20 per user per month
Free Trial
No
Free Version
Yes
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
No
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
codequest
Country
Poland
Website
codebeat.co
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 Development
Access Controls/Permissions
Yes
Code Assistance
Yes
Code Refactoring
Yes
Collaboration Tools
Yes
Compatibility Testing
Yes
Data Modeling
Yes
Debugging
No
Deployment Management
Yes
Graphical User Interface
No
Mobile Development
Yes
No-Code
Yes
Reporting/Analytics
Yes
Software Development
No
Source Control
Yes
Testing Management
No
Version Control
No
Web App Development
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
