TrustInSoft Analyzer's October Release

Key Points Summary: 

• New UI enhancements in TrustInSoft Analyzer (TISA) for simplified software verification workflows and increased productivity. 
• Learn how TrustInSoft Assistant capabilities help optimize analysis precision and reduce errors. 
• Explore the advanced compliance and security features designed for safety-critical environments. 

We are proud to announce the October release of TrustInSoft Analyzer (TISA). In today's fast-paced software development world, ensuring code reliability, security, and compliance is more critical than ever. As the leader in exhaustive static code analysis, the October release of TISA takes significant steps forward to empower software teams with robust capabilities for detecting and preventing critical bugs with more precision and faster.  

The TISA October release introduces new and updated features that streamline workflows, enhance analysis accuracy, and ensure compliance with stringent industry standards. In this blog, we'll explore these exciting new features grouped into three categories:  

• Streamlined and Intuitive User Experience 
• Assistant Capabilities 
• Advanced Compliance and Security Capabilities 

Streamlined and Intuitive User Experience 

One of the standout features of the TISA October release is the redesigned interface that aims to simplify and streamline the user experience.  

1. TISA Project Manager GUI 

Previously command-line based, the TIS Project Manager now comes with a GUI that significantly improves the user experience for managing and setting up projects. This new interface provides, easy-to-navigate environment for handling complex software verification projects. 

• Simplified Project Setup: The new GUI allows users to quickly create and configure projects, reducing the time spent on initial setup and minimizing errors associated with command-line inputs. 
• Enhanced Project Management: Users can manage multiple projects from a single interface, track progress, and organize their analyses more effectively. 
• User-Friendly Navigation: The intuitive layout provides easy access to project settings, analysis configurations, and results, making it easier for teams to collaborate and stay organized. 

2. TrustInSoft Analyzer Root Cause Investigator 

A major addition to the UI enhancements is the TrustInSoft Analyzer Root Cause Investigator. This feature is designed to simplify alarm inspection, analysis precision tuning, and root cause investigation. By providing a centralized view of alarms and their causes, users can quickly pinpoint issues and adjust their analysis settings to enhance accuracy. 

• Efficient Alarm Inspection: Quickly sort and filter through detected alarms, allowing teams to focus on the most critical issues first. 
• Precision Tuning Made Easy: Fine-tune analysis parameters directly from the interface, enabling more accurate results without the need for extensive manual adjustments. 
• Simplified Root Cause Analysis: Visualize the paths leading to an issue, helping teams resolve problems faster and more effectively. 

These enhancements make TISA more accessible and powerful, driving greater efficiency and effectiveness in software verification. 

Enhance Your Accuracy and Efficiency with TrustInSoft Assistant Capabilities 

As software complexity grows, so does the need for smarter, more automated tools to manage and optimize software verification processes. The TrustInSoft Assistant Capabilities in the October release address this need by providing advanced guidance and automation. 

1. Assisted Analysis Setup 

The Assisted Analysis Setup feature offers a structured, user-friendly walkthrough for configuring the analysis environment, ensuring that all critical parameters are set correctly to avoid common configuration errors. This capability reduces the likelihood of errors during the setup phase and provides several advanced functionalities to enhance the precision of software verification. 

• Guided Configuration: Step-by-step guidance for setting up the analysis environment, ensuring that all necessary parameters are accurately defined to avoid setup mistakes. 
• Display Entry Point Information: Users can easily view entry points for the analysis and the values created during the process, offering better visibility and control over the setup. 
• Driver Generation Based on Function Selection: Automatically generates drivers based on selected functions and call conditions, simplifying the process and ensuring comprehensive coverage of the code under analysis. 

2. Automated Analysis Tuning 

The Automated Analysis Tuning feature builds on the foundation set by the Assisted Analysis Setup. It offers automated suggestions for fine-tuning analysis parameters based on project specifics, reducing the need for deep manual intervention. 

• Dynamic Parameter Adjustments: The tool analyzes the project context and recommends parameter changes that enhance analysis precision and performance. 
• Enhanced Accuracy: This feature ensures that the analysis is tailored to the specific needs of the project, improving the detection of critical bugs and vulnerabilities. 

These capabilities collectively help users maximize their analysis efficiency and accuracy, providing peace of mind that their software is robust and secure. 

Advanced Compliance and Performance Capabilities 

In safety-critical industries like aerospace, automotive, and cybersecurity, compliance with industry standards is non-negotiable. The October release of TISA introduces new features that help teams meet these requirements with greater ease and efficiency while enhancing performance. 

1. Alarm Mapping to CWE 

The Alarm Mapping to CWE feature automatically maps detected issues to the Common Weakness Enumeration (CWE) database. This functionality provides clear guidance on potential security vulnerabilities and facilitates compliance with various industry standards. 

• Clear Insights into Vulnerabilities: By linking detected issues directly to CWE, teams can quickly understand the nature and severity of vulnerabilities. 
• Streamlined Compliance Processes: This feature simplifies the documentation and reporting required for compliance with security standards, saving time and reducing effort. 

2. ARINC 653 Support for Aerospace Compliance 

The new ARINC 653 support feature is tailored specifically for the aerospace industry, enabling teams to automatically analyze programs written according to ARINC 653 specification, allowing for out-of-the-box analysis without extensive manual setup.  

• Automated Analysis of ARINC 653 Programs: TISA provides ready-made stubs for ARINC 653 functions, enabling automated, comprehensive analysis of avionics codes written to this specification. This reduces the need for users to manually configure stubs or adaptations, saving time and effort.  
• Standard Software Verification Outputs: Teams can quickly identify and resolve potential issues in ARINC 653-based code using the TrustInSoft Analyzer outputs—alarms, undefined behaviors (UBs), Common Weakness Enumerations (CWEs), and more.  
• Streamlined Verification and Validation: With automated checks and clear, actionable outputs, TISA helps accelerate the certification process, ensuring compliance with ARINC standards more efficiently.  

3. Enhanced Analyses of C++ Programs 

The October release also brings significant enhancements to the analysis of C++ programs, further improving TISA’s ability to handle complex codebases effectively with increased performance. In testing, overall analysis time was found to be reduced by 75%.  

• Optimized C++ Analysis Algorithms: Improved algorithms offer faster and more precise analysis of modern C++ standards, including C++17 and C++20, ensuring comprehensive detection of critical bugs and vulnerabilities. 
• Support for Advanced C++ Features: The enhancements include better handling of complex templates and other advanced C++ features, providing deeper insights and more reliable results. 

Conclusion

The October release of TrustInSoft Analyzer brings new features that enhance user experience, improve analysis accuracy, and ensure compliance in safety-critical software environments. By leveraging these capabilities, teams can streamline their workflows, optimize their analysis processes, and meet the highest standards of software reliability and security. 

Watch the on demand webinar to see these features in action and learn how they can transform your software verification processes.