TrustInSoft’s Analyser has been shortlisted for the Electronics Excellence Awards under the Software category.
TrustInSoft Analyser is an exhaustive static C /C++/Rust source code analyser that ensures the safety, robustness, and security of the source code by providing mathematical/formal guarantees. It utilises state-of-the-art technology to facilitate the analysis of C/C++/Rust programs. This includes a range of capabilities such as:
- Exhaustive undefined behaviour detection e.g. buffer overflows, uninitialised memory, use after free, integer overflow
- Root cause investigation with interactive exploration of variable values across all execution paths
- Powerful control-flow and data-flow analysis showing execution paths and functional dependencies
For more information, visit: https://www.trust-in-soft.com/trustinsoft-analyzer
The Electronics Excellence Awards ceremony will take place at embedded world on 11th March at 4.30pm at the Hall 5 Forum.
You’re all welcome to come and see which product will win!
