TrustInSoft Analyzer
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
Odoo
Odoo is an open-source, fully customizable and extensible software that includes hundreds of professionally designed business applications. Odoo's intuitive database can meet most business needs including CRM, Sales, Projects, Manufacturing, Inventory, Accounting, and Accounting. Odoo is a software solution that can be used to meet all company needs, regardless of size or budget.
Odoo's seamless design makes it easy for businesses to become more efficient and save time. Each module is interconnected to offer a seamless experience from one app to the next. Users can automate many tasks that would otherwise require manual inputs to multiple applications. Odoo enables teams to collaborate with each other from one platform, allowing them to keep all business functions in one place.
Learn more
SourceDebug
SourceDebug is a robust and efficient project-focused programming editor, code explorer, and debugging tool designed to enhance your understanding of code as you work and strategize. It features integrated dynamic analysis for languages such as C/C++ and Objective-C, making it versatile for various coding tasks. With SourceDebug, you can debug applications even when the source code is stored in different locations, ensuring flexibility in your workflow. The application seamlessly combines editing, browsing, compiling, and debugging functionalities for both local and remote projects. This tool is particularly useful for rapidly familiarizing yourself with an existing codebase, enabling a smooth transition to new projects. SourceDebug thoroughly analyzes your project, allowing for effortless navigation and code editing. You can quickly jump to variables, functions, or included files, enhancing productivity. The Smart Bookmark feature is a standout, as it records your browsing position for easy access later. Additionally, it supports debugging through GDB or LLDB-MI over various protocols such as SSH, ADB, Telnet, Rlogin, and Local Cygwin, with GDB server debugging also available. Users can show Quickwatch, Watches, Callstack, Variables, Memory, Breakpoint List, Disassemble, and Thread List as necessary. Furthermore, SourceDebug supports various storage solutions, including SFTP, FTP, and local drives, making it a comprehensive tool for developers. This versatility empowers programmers to tackle complex projects with ease and efficiency.
Learn more
Metalware
Metalware empowers engineers to swiftly grasp hardware specifications and develop software by synthesizing information from datasheets and SDKs. We produce an Intermediate Representation (IR), a structured file derived from documents that detail a programmable component, which includes a register map for Hardware Abstraction Layer (HAL) creation and device metadata for the compiler's reference to device-specific details. This IR facilitates the execution of the intended Real-Time Operating System (RTOS) or SDK's API by pinpointing registers and their configurations, whether they are arranged contiguously or supported by a FIFO structure, based on the accompanying device metadata. In addition, it streamlines the process by automatically creating implementation code, including HAL and header files, tailored for your selected RTOS or SDK. Consequently, this efficiency not only accelerates development but also enhances the accuracy of the code generated.
Learn more