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
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
Awesome Fuzzing
Awesome Fuzzing serves as a comprehensive compilation of resources for those interested in the field of fuzzing, encompassing an array of materials such as books, both free and paid courses, videos, tools, tutorials, and vulnerable applications ideal for hands-on practice to enhance one's understanding of fuzzing and the early stages of exploit development, including root cause analysis. It features instructional videos focused on fuzzing methodologies, essential tools, and recommended practices, alongside conference presentations, tutorials, and blogs dedicated to the subject. Additionally, it includes software tools that facilitate fuzzing of applications, particularly those utilizing network protocols like HTTP, SSH, and SMTP. Users are encouraged to search for and select exploits linked to downloadable applications, where they can then recreate the exploits with their preferred fuzzer. The resource also encompasses a range of tests tailored for fuzzing engines, highlighting various well-known vulnerabilities and providing a corpus of diverse file formats to enable fuzzing across multiple targets found in the existing fuzzing literature. Ultimately, this collection aims to empower learners with the necessary knowledge and skills to effectively engage with fuzzing techniques and develop their expertise in security testing.
Learn more
