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
Highcharts, a Javascript-based charting library, makes it easy to add interactive charts and graphs to web or mobile projects of any size.
Highcharts is used by more than 80% of the 100 biggest companies in the world, as well as thousands of developers from a variety of industries, including finance, publishing, application development, and data science.
Highcharts is in active development since 2009. It remains a favorite among developers due to its robust feature set and ease-of-use documentation, accessibility features and vibrant community.
Learn more
Orbit Profiler
Quickly identify performance issues and gain insights into the workings of a complex C/C++ application using Orbit, a standalone profiling and debugging tool designed for both Windows and Linux environments. This tool is specifically engineered to assist developers in comprehending and visualizing the execution flow within intricate applications. By providing an overarching perspective on the internal operations, Orbit enhances the developer's grasp of complex systems, enabling them to swiftly pinpoint performance bottlenecks. The tool seamlessly operates with any C/C++ application, provided it has access to the Pdb file, allowing you to initiate profiling immediately after downloading Orbit. Upon launch, Orbit integrates itself within the target process, hooking into specific functions, and is effective even with highly optimized final or shipping builds. Its sampling feature is particularly beneficial when starting your investigation, as it is fast, reliable, and continuously active. Orbit optimizes the profiling process by combining sampling techniques with dynamic instrumentation, ensuring a more efficient workflow for developers seeking to enhance application performance. Additionally, the ability to visualize execution paths greatly aids in understanding how different components interact within the system.
Learn more
Arm DDT
Arm DDT stands out as the premier debugger for servers and high-performance computing (HPC) in research, industry, and educational settings, serving software engineers and scientists who work with C++, C, and Fortran in parallel and threaded environments across both CPUs and GPUs, including those from Intel and Arm. Renowned for its robust capabilities, Arm DDT excels at automatically identifying memory issues and divergent behavior, enabling users to attain exceptional performance across various scales. This versatile tool supports multiple server and HPC architectures, offering seamless cross-platform functionality. Additionally, it provides native parallel debugging for Python applications, ensuring comprehensive support for a range of programming needs. Arm DDT is distinguished by its leading memory debugging features and exceptional support for C++ and Fortran debugging, along with an offline mode that allows for non-interactive debugging sessions. It is also equipped to manage and visualize substantial data sets effectively. Available as a standalone tool or as a component of the Arm Forge debug and profile suite, Arm DDT boasts an intuitive graphical interface that simplifies the process of detecting memory bugs and divergent behaviors across diverse computational scales. This makes it an invaluable resource for engineers and researchers alike, ultimately facilitating the development of high-performance applications.
Learn more