Average Ratings 0 Ratings
Average Ratings 0 Ratings
Similar Products
-
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.
-
WizWiz is a new approach in cloud security. It finds the most important risks and infiltration vectors across all multi-cloud environments. All lateral movement risks, such as private keys that are used to access production and development environments, can be found. You can scan for vulnerabilities and unpatched software in your workloads. A complete inventory of all services and software within your cloud environments, including version and package details, is available. Cross-reference all keys on your workloads with their privileges in your cloud environment. Based on a complete analysis of your cloud network, including those behind multiple hops, you can see which resources are publicly available to the internet. Compare your industry best practices and baselines to assess the configuration of cloud infrastructure, Kubernetes and VM operating system.
-
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.
-
Heimdal Endpoint Detection and Response (EDR)Heimdal® Endpoint Detection and Response is our proprietary multi-solution service providing unique prevention, threat-hunting, and remediation capabilities. It combines the most advanced threat-hunting technologies in existence: Heimdal Next-Gen Antivirus, Heimdal Privileged Access Management, Heimdal Application Control, Heimdal Ransomware Encryption Protection, Heimdal Patch & Asset Management, and Heimdal Threat Prevention. With 6 modules working together seamlessly under one convenient roof, all within one agent and one platform, Heimdal Endpoint Detection and Response grants you access to all the essential cybersecurity layers your business needs to protect itself against both known and unknown online and insider threats. Our state-of-the-art product empowers you to quickly and effortlessly respond to sophisticated malware with stunning accuracy, protecting your digital assets and your reputation in the process as well.
-
Source DefenseSource Defense is an essential element of web safety that protects data at the point where it is entered. Source Defense Platform is a simple, yet effective solution to data security and privacy compliance. It addresses threats and risks that arise from the increased use JavaScript, third party vendors, and open source code in your web properties. The Platform offers options for securing code as well as addressing an ubiquitous gap in managing third-party digital supply chains risk - controlling actions of third-party, forth-party and nth-party JavaScript that powers your website experience. Source Defense Platform provides protection against all types of client-side security incidents, including keylogging, formjacking and digital skimming. Magecart is also protected. - by extending the web security beyond the browser to the server.
-
OnspringThe GRC software you've been looking for: Onspring. A flexible, no-code, cloud-based platform, ranked #1 in GRC delivery for 5 years running. Easily manage and share information for risk-based decision-making, monitor risk evaluations and remediation results in real-time, and create reports with with KPIs and single-clicks into details. Whether leaving an existing platform or implementing GRC software for the first time, Onspring has the technology, transparency, and service-minded approach you need to achieve your goals rapidly. Our ready-made product products are designed to get you going as fast as 30 days. SOC, SOX, NIST, ISO, CMMC, NERC, HIPAA, PCI, GDPR, CCPA - name any regulation, framework, or standard, and you can capture, test, and report on controls and then activate remediation of risk findings. Onspring customers love the no-code platform because they can make changes on the fly and build new workflows or reports in minutes, all on their own without the need for IT or developers. When you need nimble, flexible, and fast, Onspring is the best software option on the market.
-
DocmosisDocmosis is a self-hosted or SaaS template-based document generation solution. Integrate with custom-built software applications or popular third-party apps using the API. Create templates using MS Word or LibreOffice. Add plain-text placeholders to control: the insertion of text/images/tables; conditionally add/remove any content; perform calculations; loop over repeating data; format data/numbers and much more. Integrate with: Custom software built using Java, C#, Python, PHP, Ruby and more via a REST API; Low-code and no-code platforms like Appian, Bubble, Mendix, Outsystems; Third-party form builders or apps that can perform a webhook such as FormAssembly or Salesforce. Used by customers in Finance, Health, Legal, Education, Government, HR, Insurance, Logistics, and Manufacturing to generate customized letters invoices, proposals, contracts, statements, reports and more.
-
Action1Action1 redefines patch management by enabling enterprises to rapidly discover and remediate vulnerabilities with a 99% patch success rate solution. Streamline your third-party patching, including custom software, through Action1’s Software Repository maintained in-house by security experts, and manage OS updates – fully integrated altogether with full feature-parity and uniformity. Identify vulnerabilities in real-time and remediate them by applying available patches, removing unsupported or legacy software, or centralizing documentation of compensating controls for vulnerabilities that cannot be patched. Optimize network traffic usage when large software packages up to 32Gb in size are deployed on the same network and deliver patches faster thanks to Action1’s P2P Distribution technology. Action1 is the easiest-to-use patch management platform on the market, which you can set up in 5 minutes and automate your patching right away through its intuitive UI. Thanks to its cloud-native architecture, Action1 is infinitely scalable and works equally well for office-based and remote employee endpoints, servers, and cloud workloads, requiring no VPN. Action1 is the first patch management vendor to achieve SOC 2, ISO 2
Description
DerScanner is a user-friendly, officially CWE-Compatible tool that integrates the functionalities of static application security testing (SAST), dynamic application security testing (DAST), and software composition analysis (SCA) within a single platform. This solution significantly enhances oversight of application and information system security, allowing users to assess both proprietary and open-source code seamlessly. By correlating findings from SAST and DAST, it enables the verification and prioritization of vulnerability remediation. Users can bolster their code integrity by addressing weaknesses in both their own and third-party software components. Moreover, it facilitates an impartial code review process through application analysis that is independent of developers. This tool effectively identifies vulnerabilities and undocumented features throughout all phases of the software development lifecycle. Additionally, it allows for oversight of both in-house and external developers while ensuring the security of legacy applications. Ultimately, DerScanner aims to improve user experience by delivering a well-functioning and secure application that meets modern security demands. With its comprehensive approach, organizations can feel confident in their software's resilience against threats.
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.
API Access
Has API
API Access
Has API
Screenshots View All
No images available
Screenshots View All
No images available
Integrations
C
C++
MATLAB
Pricing Details
$500 USD
Free Trial
Free Version
Pricing Details
No price information available.
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
DerSecur
Founded
2011
Country
Israel
Website
derscanner.com
Vendor Details
Company Name
University of Virginia
Founded
2007
Country
United States
Website
splint.org
Product Features
Application Security
Analytics / Reporting
Open Source Component Monitoring
Source Code Analysis
Third-Party Tools Integration
Training Resources
Vulnerability Detection
Vulnerability Remediation
Static Application Security Testing (SAST)
Application Security
Dashboard
Debugging
Deployment Management
IDE
Multi-Language Scanning
Real-Time Analytics
Source Code Scanning
Vulnerability Scanning
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