MENU

C/C++

C/C++
Formal methods are the future of embedded software verification
Formal methods are the future of embedded software verification
Interviews |
eeNews talks to Caroline Guillaum, CEO of TrustInSoft, about the issues that make formal methods a key tool in testing…
Report finds AI-generated code poses security risks
Report finds AI-generated code poses security risks
Technology News |
A comprehensive analysis of over 100 LLMs exposes security gaps in AI-generated code, with Java the highest-risk programming language.
TrustInSoft aligns with CISA initiative on C/C++ vulnerabilities
TrustInSoft aligns with CISA initiative on C/C++ vulnerabilities
Technology News |
TrustInSoft Analyzer supports software security efforts by CISA with tools that mathematically prove the absence of memory-related vulnerabilities in C/C++.
VyperCore accelerator chip adopts Solid Sands for C/C++ compliance
VyperCore accelerator chip adopts Solid Sands for C/C++ compliance
Business news |
The collaboration will ensure compliance to the highest quality levels with C and C++ language standards for the new accelerator…

Expert-driven formal verification services for C/C++
Expert-driven formal verification services for C/C++
Business news |
Formal verification services from TrustInSoft enhance software security and reliability through on-demand comprehensive analysis…
Vector, HighTec team on functional safety with Rust and AUTOSAR
Vector, HighTec team on functional safety with Rust and AUTOSAR
Technology News |
Removing the last hurdles for the use of Rust in the automotive sector enables developers to to build fast safe and secure software.
Analyzer fuzzing feature unlocks advanced software verification
Analyzer fuzzing feature unlocks advanced software verification
Technology News |
Unique analysis technique goes far beyond the limits of traditional fuzzing, taking software security testing to unprecedented levels.


10s