ZeroPath
ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with deep program analysis to deliver intelligent security testing that finds real vulnerabilities while dramatically reducing false positives.
Unlike traditional SAST tools that rely on pattern matching, ZeroPath understands code context, business logic, and developer intent. This enables identification of sophisticated security issues including business logic flaws, broken authentication, authorization bypasses, and complex dependency vulnerabilities.
Our comprehensive security suite covers the application security lifecycle:
1. AI-powered SAST
2. Software Composition Analysis with reachability analysis
3. Secrets detection and validation
4. Infrastructure as Code scanning
5. Automated PR reviews
6. Automated patch generation
ZeroPath integrates seamlessly with GitHub, GitLab, Bitbucket, and Azure DevOps. The platform handles codebases with millions of lines across Python, JavaScript, TypeScript, Java, Go, Ruby, Rust, PHP, Kotlin and more.
Our research team has discovered CVE-2025-61928 (critical account takeover in better-auth affecting 300,000+ weekly downloads), identified 170 verified bugs in curl, and uncovered zero-day vulnerabilities in production systems at Netflix, Hulu, and Salesforce.
Trusted by 750+ companies and performing 200k+ code scans monthly.
Learn more
Parasoft
Parasoft'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.
Learn more
go-fuzz
Go-fuzz serves as a coverage-guided fuzzing tool designed specifically for testing Go packages, making it particularly effective for those that handle intricate inputs, whether they are textual or binary in nature. This method of testing is crucial for strengthening systems that need to process data from potentially harmful sources, such as network interactions. Recently, go-fuzz has introduced initial support for fuzzing Go Modules, inviting users to report any issues they encounter with detailed descriptions. It generates random input data, which is often invalid, and the function must return a value of 1 to indicate that the fuzzer should elevate the priority of that input in future fuzzing attempts, provided that it should not be stored in the corpus, even if it uncovers new coverage; a return value of 0 signifies the opposite, while other values are reserved for future enhancements. The fuzz function is required to reside in a package that go-fuzz can recognize, meaning the code under test cannot be located within the main package, although fuzzing of internal packages is permitted. This structured approach ensures that the testing process remains efficient and focused on identifying vulnerabilities in the code.
Learn more
Echidna
Echidna is a Haskell-based tool created for fuzzing and property-based testing of Ethereum smart contracts. It employs advanced grammar-driven fuzzing strategies that leverage a contract's ABI to challenge user-defined predicates or Solidity assertions. Designed with a focus on modularity, Echidna allows for easy extensions to incorporate new mutations or to target specific contracts under particular conditions. The tool generates inputs that are specifically adapted to your existing codebase, and it offers optional features for corpus collection, mutation, and coverage guidance to uncover more elusive bugs. It utilizes Slither to extract critical information prior to launching the fuzzing process, ensuring a more effective campaign. With source code integration, Echidna can pinpoint which lines of code are exercised during testing, and it provides an interactive terminal UI along with text-only or JSON output formats. Additionally, it includes automatic test case minimization for efficient triage and integrates seamlessly into the development workflow. The tool also reports maximum gas usage during fuzzing activities and supports complex contract initialization through Etheno and Truffle, enhancing its usability for developers. Ultimately, Echidna stands out as a robust solution for ensuring the reliability and security of Ethereum smart contracts.
Learn more