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
Notifii Track, a cloud-based package tracker software, is available for apartment offices, university mailrooms and corporate mailrooms. You can quickly and easily log packages as they arrive. Notify the recipient automatically via email or text message. Capture signature proof-of-pickup/delivery. Notifii Track is a time-saver. It takes just a few seconds for a package to be scanned and increases package accountability. You can use Notifii Track via your web browser or any iOS/Android device. 30-day free trial.
Learn more
RustRover
Take advantage of intelligent code completion and generation that is sensitive to context, real-time analysis, and rapid solutions for issues, along with advanced refactoring options, live templates, and additional features. By installing rustup directly from the IDE, you can implement fixes suggested by the compiler with a single click. Additionally, you won’t need to worry about manually linking newly created Rust files to main.rs or updating the list of dependencies with popular crates. Every syntax element will be highlighted, encompassing inferred types, macros, cfg blocks, and the usage of unsafe code. Access detailed type information effortlessly, along with quick links to language and crate documentation, and explore your codebase using RustRover's robust search capabilities. Execute individual tests, entire test modules, or all tests within a project while being able to choose from various Run targets. Moreover, you can establish custom Run configurations that fully support CLI application development. Troubleshooting failing tests is streamlined, as you can directly navigate to the relevant code from the error messages displayed in the console, enhancing your debugging efficiency. Whether you are a novice or an experienced developer, these features will significantly improve your workflow and coding experience.
Learn more
Fortran Package Manager
The Fortran Package Manager (fpm) serves as both a package manager and a build system specifically designed for Fortran. It boasts a wide array of available packages, contributing to a vibrant ecosystem of both general-purpose and high-performance code, enhancing accessibility for users. Aimed at improving the overall experience for Fortran developers, fpm simplifies the process of building Fortran programs or libraries, executing tests, running examples, and managing dependencies for other Fortran projects. Its design draws inspiration from Rust’s Cargo, creating an intuitive user interface. Additionally, fpm has a long-term vision focused on fostering the growth of modern Fortran applications and libraries. One notable feature of fpm is its plugin system, which facilitates the extension of its capabilities. Among these plugins is the fpm-search project, which enables users to query the package registry effortlessly, and because it is built with fpm, installation on any system is straightforward. This synergy not only streamlines the development process but also encourages collaboration among developers within the Fortran community.
Learn more
