TrustInSoft 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.
Learn more
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
LibFuzzer
LibFuzzer serves as an in-process, coverage-guided engine for evolutionary fuzzing. By being linked directly with the library under examination, it injects fuzzed inputs through a designated entry point, or target function, allowing it to monitor the code paths that are executed while creating variations of the input data to enhance code coverage. The coverage data is obtained through LLVM’s SanitizerCoverage instrumentation, ensuring that users have detailed insights into the testing process. Notably, LibFuzzer continues to receive support, with critical bugs addressed as they arise. To begin utilizing LibFuzzer with a library, one must first create a fuzz target—this function receives a byte array and interacts with the API being tested in a meaningful way. Importantly, this fuzz target operates independently of LibFuzzer, which facilitates its use alongside other fuzzing tools such as AFL or Radamsa, thereby providing versatility in testing strategies. Furthermore, the ability to leverage multiple fuzzing engines can lead to more robust testing outcomes and clearer insights into the library's vulnerabilities.
Learn more
Boofuzz
Boofuzz represents a continuation and enhancement of the established Sulley fuzzing framework. In addition to a variety of bug fixes, Boofuzz emphasizes extensibility and flexibility. Mirroring Sulley, it integrates essential features of a fuzzer, such as rapid data generation, instrumentation, failure detection, and the ability to reset targets after a failure, along with the capability to log test data effectively. It offers a more streamlined installation process and accommodates diverse communication mediums. Furthermore, it includes built-in capabilities for serial fuzzing, as well as support for Ethernet, IP-layer, and UDP broadcasting. The improvements in data recording are notable, providing consistency, clarity, and thoroughness in the results. Users benefit from the ability to export test results in CSV format and enjoy extensible instrumentation and failure detection options. Boofuzz operates as a Python library that facilitates the creation of fuzzer scripts, and setting it up within a virtual environment is highly advisable for optimal performance and organization. This attention to detail and user experience makes Boofuzz a powerful tool for security testing.
Learn more
