The Curious Engineer

All blogs / Security

TrustInSoft

trust-in-soft.com/resources/blogs

Read blogs from TrustInSoft on C/C++/Rust memory safety and formal verification.

SecurityCC++RustEmbedded / microcontrollers

’15’20’25
Posts
316 from 2 May 2013 to 22 Sep 2026
Posting
monthly (12 in the last year)
Kind
company blog

2026 10

  1. TrustInSoft Analyzer 26.10: AI-Assisted Formal Verification
  2. Semiconductors
  3. Telecom/Mobile
  4. Other industries
  5. How TrustInSoft Analyzer Helps Meet EU CRA Requirements
  6. Cyber Resilience Act: Webinar for Embedded Engineers
  7. CYSAT 2026
  8. TrustInSoft Announces AI-Powered Advancements in April 2026 Release
  9. Telit Cinterion Selects TrustInSoft Analyzer
  10. CISA Mandates Memory Safety: A New Era of Cybersecurity

2025 10

  1. Embedded World North America 2025
  2. TrustInSoft Extends Formal Verification to Rust and Real-Time Systems
  3. Software Testing Matures as Memory Safety Takes Center Stage
  4. Safety AD US 2025
  5. TrustInSoft Supports Thales in Securing Next-Generation Avionics and Communication Systems
  6. CYSAT 2025
  7. C++Now 2025
  8. April 2025 Release of TrustInSoft Analyzer
  9. Press Release: Rust Code Analysis Services
  10. Ferrous Systems Partnership

2024 7

  1. The Cyber Resilience Act is Here: How TrustInSoft Analyzer Simplifies Conformity
  2. Enhancing Embedded Systems Security with Formal Methods & Analysis Tools
  3. TrustInSoft Analyzer: Faster, Smarter, and More Powerful
  4. Unboxing Trampoline OSEK's Vulnerabilities with Formal Methods.
  5. TrustInSoft Launches Formal Verification Services (FVS).
  6. Discover how TrustInSoft Analyzer's groundbreaking input coverage metrics and enhanced features are transforming software testing. Learn how to achieve unparalleled test coverage and ensure the safety and security of your C/C++ code.
  7. Revolutionizing Software Testing with TrustInSoft Analyzer at Embedded World 2024.

2023 7

  1. Emulated Target Hardware and Associated Memory Mapping
  2. TrustInSoft Analyzer Boosts Low-Level Software Security with Enhanced Memory Mapping
  3. 2023 10 30 trustinsoft fuzzing feature unlocks advanced software verification
  4. TrustInSoft Analyzer: Your Path to ISO 26262 Compliance.
  5. TrustInSoft Analyzer Expands Support for Automotive Software Compliance with ISO 26262 Qualification
  6. 2023 01 05 trustinsoft enters the automotive market with exhaustive static code analysis tool for safety and cybersecurity critical software
  7. TrustInSoft Enters the Automotive Market with Exhaustive Static Code Analysis Tool For Safety and Cybersecurity Critical Software

2022 4

  1. Ensuring Compliance for Critical Devices For the Cyber Resilience Act
  2. Embedded World 2022
  3. TrustInSoft Unveils Zero-Vulnerability Software at Mobile World Congress 2022.
  4. TrustInSoft Showcases New Offer for Zero-Vulnerability Devices at Mobile World Congress 2022

2021 9

  1. Ensuring Device Security and Reliability: Download TrustInSoft's Latest White Paper.
  2. TrustInSoft’s Exhaustive Static Analysis Proves the Security of Trusted Execution Environments
  3. TrustInSoft Mathematically Guarantees Zero-Bug Mobile Applications with New Application Security Test
  4. TrustInSoft Announces Revolutionary AST for Bug-Free IoT Code with Formal Methods.
  5. Guarantee Bug-Free IoT Code & Meet Cybersecurity Guidelines with TrustInSoft AST
  6. TrustInSoft Supports Open Source with Free Security Testing for Google Summer of Code Projects.
  7. TrustInSoft Offers Free Application Security Testing Program for Google Summer of Code Projects
  8. TrustInSoft Mathematically Guarantees Zero Bug Vehicles with New Application Security Test
  9. TrustInSoft's Zero Bug AST Guarantees Bug-Free Autonomous Vehicles (2024)

2020 2

  1. 2020 11 23 le groupe atempo wooxo accelere sa politique dachats
  2. TrustInSoft Cancels Embedded World 2020 Due to COVID-19.

2019 5

  1. 2019 11 04 trustinsoft raises e5m to push into the self driving car and iot markets
  2. TrustInSoft Raises €5M to Push into the Self-Driving Car and IoT Markets
  3. The Future of Automotive Software: A 3-Part Series on Trends, Risks, and Rewards.
  4. Navigating the Complex Landscape of Automotive Software Development.
  5. 2019 07 15 meet trustinsoft at frama c spark day 2019

2017 4

  1. TrustInSoft Secures $1.2M to Revolutionize Software Security.
  2. TrustInSoft Revolutionizes Software Security with Breakthrough Technology.
  3. ProvenCore & TrustInSoft Analyzer: A Powerful Security Combo for Connected Devices.
  4. TrustInSoft Secures $1.2M to Revolutionize Software Security.

2016 1

  1. 2016 06 26 how do you report bugs that you alone can see

2015 3

  1. TrustInSoft Selected by Linux Foundation's Core Infrastructure Initiative to Help Improve CyberSecurity
  2. TrustInSoft Selected as Finalist for RSA Conference Innovation Sandbox Contest 2015.
  3. TrustInSoft Selected as Finalist for RSA® Conference Innovation Sandbox Contest 2015

2014 2

  1. Prove & Run and TrustInSoft join forces to increase software security
  2. 2015 02 17 handling security bugs is not the open source communitys strong point

2013 1

  1. Foundation

Undated 251

  1. 2017 09 27 trustinsoft winner of the smart security week innovation awards 2017
  2. 2015 07 06 compile time consistency checks for types in c
  3. 2020 10 20 beyond the x86 64 developing for embedded systems without development boards
  4. TrustInSoft Partners with Automotive Functional Safety Conference 2023.
  5. Trustinsoft unveils new offer for zero vulnerability software at the mobile world congress 2022
  6. 2014 09 27 bash bug failure of formal approaches to programming
  7. Empowering Cybersecurity Awareness: TrustInSoft's Commitment to a Safer Digital World.
  8. 2017 12 21 meet us at ces2018 in las vegas
  9. Caroline Guillaume Appointed TrustInSoft CEO
  10. B Method vs. Frama-C: A Comparative Analysis of Formal Verification Tools.
  11. 2023 06 07 automotive testing expo 2023
  12. Automate ISO-26262 Compliance with TrustInSoft Analyzer
  13. Uncovering Hidden Bugs in TinyCrypt with TrustInSoft's Static Analysis.
  14. 2016 04 20 out of bounds pointers a common pattern and how to avoid it
  15. eSOL Leverages TrustInSoft's Code Verification for Enhanced Embedded Systems Reliability.
  16. CES 2025
  17. 2017 01 31 nato and the future of cybersecurity
  18. 2016 06 16 trap representations and padding bits
  19. Prove & Run and TrustInSoft Join Forces to Elevate Software Security and Quality.
  20. 2017 10 31 our 1st free online source code analyzer launched at arm techcon
  21. Uncover and Fix Source Code Bugs with TrustInSoft Analyzer: Insights from Experts.
  22. 2024 03 19 the future of code analysis at embedded world 2024
  23. 2014 10 30 an implementation of strings that you can trust to the end of the world
  24. Oxidize 2026
  25. AUTOSAR Classic: A Comprehensive Guide to Safety and Cybersecurity in Automotive Software.
  26. Elevate Software Quality and Security with Solid Sands and TrustInSoft.
  27. Beyond Fuzzing: Leveraging Formal Methods for Enhanced Vulnerability Detection.
  28. Accelerate ISO 26262 Certification with Formal Verification.
  29. 6 Key Cybersecurity Insights: Interview with TrustInSoft CEO Fabrice Derepas & Quarkslab CEO Fred Raynal.
  30. Streamline Your Software Verification Process with TISA Project Manager.
  31. 2022 07 28 erts 2022 in toulouse france
  32. 2016 05 20 objects larger than ptrdiff max bytes
  33. Project tin-AES128-C: Fixing Security Bugs in Open-Source Software.
  34. Safety AD EU 2026
  35. 2017 12 07 come meet us at esc silicon valley 2017
  36. 2023 06 23 static analysis tried and true and continuing to evolve
  37. TrustInSoft to Showcase at SAE World Congress 2022.
  38. TrustInSoft Secures the Future of Automotive Software at Cybersecurity Summit.
  39. 2016 10 25 come see trustinsoft at arm techcon
  40. 2014 07 03 dangling pointer indeterminate
  41. 2015 07 16 the libc cross testing project
  42. From AI-Generated to AI-Verified: Closing the Trust Gap in the New Age of Software Development
  43. 2022 07 29 trustinsoft at the international cybersecurity forum fic 2022
  44. 2017 10 11 trustinsoft at issa conference and sdn nfv world congress
  45. Ace Capital Partners: Investing in Cybersecurity's Future.
  46. 2015 12 21 memcmp requires pointers to fully valid buffers
  47. 2014 05 16 software defined networking and security
  48. Beyond Traditional Testing: Formal Methods for Exhaustive Bug Detection.
  49. 2018 08 20 nist2018 in gaithersburg
  50. TrustInSoft Analyzer Excels in Automotive Safety and Security Benchmark.
  51. TrustInSoft Wins Prestigious 2013 French National Startup Competition.
  52. 2015 03 15 when in doubt express intent and leave the rest to the compiler
  53. The Peril of Undefined Behaviors: Safeguarding Automotive Software.
  54. TrustInSoft Named a Top 25 IoT Solution Provider by CIO Online.
  55. 2022 08 16 automotive testing expo ate 2022
  56. Enhancing AUTOSAR with Formal Methods for Improved Software Reliability.
  57. 2017 09 26 come see us at world e id cybersecurity 2017
  58. 2014 04 08 no more heartbleed
  59. Witness the Power of Formal Methods: A TrustInSoft Analyzer Demo.
  60. Announcing trustinsoft analyzer 1 47 elevating software development to new heights
  61. Embedded World North America 2026
  62. Elevate Your Software Security with TrustInSoft's Formal Verification Services.
  63. ISO 26262 Simplified: Webinar on Streamlining Certification with TrustInSoft Analyzer.
  64. Empowering Low-Level C Code Analysis with TrustInSoft Analyzer.
  65. CHERI: The Future of Memory Safety
  66. Securing the IoT: A Shift-Left Approach with TrustInSoft.
  67. Dassault Aviation: Leveraging Formal Methods for Aerospace Safety and Security.
  68. Proving the Security of Low-Level Software Components and TEEs
  69. TrustInSoft: Securing the Future of Connected Vehicles.
  70. TrustInSoft Researcher Presents at International Joint Conference on Automated Reasoning.
  71. The Future of Software Security: Exhaustive Static Analysis.
  72. Embedded World 2025 in Nuremberg
  73. TrustInSoft Launches Rust Code Analysis Services
  74. TrustInSoft to Showcase Advanced Bug Detection at CES 2023.
  75. Rust’s Hidden Dangers: Unsafe, Embedded, and FFI Risks
  76. Ensuring TEE Security: The Power of Formal Methods.
  77. Uncovering Hidden Bugs with tis-interpreter: A Deep Dive into Static Analysis.
  78. TrustInSoft's Groundbreaking Research Recognized at PLDI 2022.
  79. Catch C Code Errors Early: Free Online Analyzer TSnippet.
  80. High Cost Of Memory Safety Issues
  81. Embedded Systems Security: CRA Compliance & Formal Verification
  82. Unmasking Undefined Behaviors: A Deep Dive into Root Cause Investigation.
  83. TrustInSoft Leads As Top Static Analysis Tool Provider
  84. Unmasking Vulnerabilities in Seemingly Simple C Programs.
  85. TrustInSoft Shares Insights on Formal Methods at Microsoft Silicon Valley.
  86. SAE J3018: Crucial for Autonomous Vehicle Operational Safety
  87. Enhance Security Compliance with TrustInSoft's New CERT-C Reporting.
  88. Formal Methods: The Future of TEE Security.
  89. TrustInSoft Meets NIST High Assurance Standards: A Milestone for Software Security.
  90. Uncovering Fiddly Buffer Overflows in OpenSSL and LibreSSL.
  91. Join Us at FIC 2021: Discover the Future of Software Security.
  92. Unboxing Keychron QMK's Vulnerabilities with Formal Methods.
  93. The Perils of Unaligned Pointer Accesses in GCC.
  94. Unraveling the Perils of Variadic Functions in TrustInSoft Interpreter.
  95. Guaranteeing Software Reliability: Real-World Examples of Exhaustive Static Analysis.
  96. Memory Safety in Medical Devices: Risks, Impact, and TrustInSoft Solutions
  97. Unboxing TinyCrypt: A Deep Dive into Undefined Behaviors.
  98. White House Calls to Address Root Cause of Many of the Worst Cyber Attacks
  99. TrustInSoft Confirms Alignment with CISA Cybersecurity Initiative
  100. Unboxing Genode
  101. Securing the Semiconductor Supply Chain: A Critical Imperative.
  102. TrustInSoft and the Future of 5G: A Conversation with Thierry Bonhomme.
  103. Securing Open-Source Projects with Formal Methods: A Wireshark Case Study.
  104. Join TrustInSoft at Embedded World North America 2024.
  105. Preventing the Next Pegasus: The Power of Formal Methods
  106. Streamline Your Software Testing with TrustInSoft Project Manager.
  107. Frama-C technology meets NIST high assurance standards
  108. Ensure CERT C Compliance with TrustInSoft Analyzer.
  109. Unboxing Libjxl's Vulnerabilities with Formal Methods.
  110. TrustInSoft Researcher Wins Best Paper Award at LOPSTR 2017.
  111. Achieving Zero-Bug Embedded Software: Steps for Error-Free Code
  112. TrustInSoft and 6WIND: A Powerful Partnership for Network Security.
  113. Making Formal Verification Accessible to More Developers
  114. Securing the Foundation: Protecting Low-Level Software and Firmware.
  115. Secure Your IoT Devices with TrustInSoft Analyzer: Achieve U.S. Cyber TrustMark.
  116. Accelerate C/C++ Testing with TrustInSoft's Trend Reporting.
  117. Memory Safety: Build Secure Embedded Systems from the Ground Up
  118. Why Mutation-Based Fuzzing Misses Bugs
  119. The Limitations of Traditional Software Testing for Low-Level Code
  120. The Future of Automotive Software: A Vision for Zero-Bug Vehicles
  121. TrustInSoft Analyzer October 2024 Release: Enhanced UX, Compliance, and Automation.
  122. Unboxing libgit2
  123. Secure Trampoline RTOS
  124. The Power of Exhaustive Static Analysis for Securing Low-Level Code.
  125. Achieving Exhaustive Testing with TrustInSoft Analyzer 1.47
  126. TrustInSoft: Your Partner in Meeting the New Cybersecurity Executive Order.
  127. A Key to Secure Codebase Migrations to Memory-Safe Languages.
  128. Conquering Strict Aliasing Violations: A Deep Dive.
  129. TrustInSoft's New AST Shields Mobile Apps from Pegasus-Like Attacks.
  130. Navigating the Transition to Memory-Safe Programming
  131. Standout Cybersecurity and Reliability
  132. MERCE Elevates Software Safety and Reliability with TrustInSoft Analyzer.
  133. Rust Memory Safety Prevents In-The-Field Fixes
  134. Reducing Costs in Safety-Critical Software Development.
  135. Fortifying Medical Device Security: An Interview with Life Plus and TrustInSoft.
  136. Cost of a Bug throughout the SDC
  137. Printing an unsigned char with %x or %u is not absolutely correct
  138. TrustInSoft Highlights Latest Innovations at Embedded World 2024.
  139. Formal Verification: Ensure Regulatory Compliance
  140. ADAS 2024
  141. TrustInSoft Annual Workshop 2022: Fostering Innovation and Teamwork
  142. Elevate Your Security: Beyond Fuzzing with Formal Methods.
  143. Detecting Runtime Errors in NASA Core Flight Systems Code
  144. TrustInSoft Joins HexaTrust: A New Era of Cybersecurity
  145. TrustInSoft Analyzer October Release: Streamlined Workflows and Enhanced Verification.
  146. Accelerate ISO 26262 Compliance with TrustInSoft Analyzer.
  147. The Future of Formal Verification
  148. Best In Show 2025 Nuremberg
  149. Memory Safety in Microservices: Formal Verification for Embedded Systems
  150. April 2025 Release - TrustInSoft Analyzer
  151. The C/C++ series - code coverage of template code
  152. Ensuring Memory Safety in Unsafe Rust with TrustInSoft Analyzer
  153. Provable Quality in 2026: Why Traditional Testing Isn't Enough
  154. Get Faster Verification with AI-Assisted Formal Methods
  155. Unleashing the Power of Formal Methods for Critical Software Testing
  156. Accelerate ISO 26262 Certification with TrustInSoft Analyzer.
  157. Unlocking the Power of Fuzzing: A Guide to Enhanced Code Security.
  158. Fortifying Low-Level Software Security with Exhaustive Static Analysis.
  159. Rust, Real-Time Code, and What Comes Next for Software Safety
  160. Why AI Demands a New Standard of Software Trust
  161. Conquering Memory Safety Vulnerabilities in C/C++.
  162. Enhancing Automotive Software Safety and Reliability
  163. Bridging the Security Gap Between Rust and C/C++
  164. Formal Verification: Memory Safety for the Industrial IoT
  165. Hybrid Codebase Crisis: FFI Boundaries as Failure Points
  166. Raising the Bar for Embedded Security at Embedded World 2026
  167. Memory Mapping with TrustInSoft Analyzer
  168. A Glimpse Into Global Software Testing
  169. Software Product Assurance Conference ESA 2025
  170. Achieving ISO 26262 Certification
  171. AI and Formal Guarantees: What’s New in the April 2026 Release of TrustInSoft Analyzer
  172. Formal Verification: Eliminate Runtime Errors in Critical Software
  173. Auditing zlib
  174. Scaling Rust in Hybrid C/C++ Systems: A Practical Guide
  175. Formal Verification: Proving Memory Safety, Eliminating Runtime Errors
  176. Ensuring Cybersecurity in Automotive AUTOSAR Embedded Software
  177. Outlining the language C programs should be written in
  178. Mathematically Proven Memory Safety for C/C++/Rust Software
  179. Formal Verification: The Path to Zero Runtime Errors & Memory Safety
  180. AI-Assisted Coding: Amplifying Bugs and Increasing Developer Risk
  181. Global Market for Automated Software & Security Testing Tools
  182. Safety AD US 2026
  183. TrustInSoft Named One of the 10 Most Innovative Companies of 2015.
  184. TrustInSoft Analyzer: The Key to ISO/SAE 21434 Compliance.
  185. Eliminating Entire Classes of Bugs with Unmatched Cybersecurity
  186. Embedded Security: Vulnerability Handling & Secure Dev
  187. Secure Supply Chains: How Verification Mitigates Risk
  188. Empowering Safety-Critical Systems with Formal Methods.
  189. Secure AI Code with Formal Methods | TrustInSoft
  190. TrustInSoft Analyzer Demo on TinyCrypt for Exhaustive Code Analysis
  191. TrustInSoft Analyzer 2025.04 Achieves ISO 26262 Qualification
  192. Proof-Based Development: Securing the Future of Embedded IoT
  193. Safety AD EU 2025
  194. Enhance Cybersecurity with CWE Mapping in TrustInSoft Analyzer.
  195. Hack it Fast and Fix it Forever with Fuzzing
  196. Best Practices for Secure Code Q&A
  197. Beyond Traditional Testing: Elevating Software Safety and Security.
  198. The New Baseline in 2026
  199. The Bug Bounty Killer
  200. Printing a null pointer with %s is undefined behavior
  201. Formal Verification for C/C++ Memory Safety & Zero Runtime Errors
  202. Memory Safety: Formal Verification for Zero Runtime Errors
  203. Recapping Embedded World Nuremberg 2026
  204. Securing the Future of Automotive: The Story Behind Software in SDVs
  205. Formal Verification: Ensuring Memory Safety in Embedded Systems
  206. Formal Verification for Memory Safety in Embedded Systems
  207. Enhancing Functional Safety in Automotive Software Development
  208. SDV Bugs: Financial, Safety & Reputational Risks
  209. The Engineer's Toolkit: From Heuristics to Guarantees in Vulnerability Mitigation
  210. Formal Verification for Memory-Safe C/C++ Software
  211. An old quirky libksba bug
  212. Root Cause Investigator in TrustInSoft Analyzer
  213. Chasing False Alarms Webinar
  214. Buyer's Guide
  215. PolarSSL Verification Kit: Ensuring Secure SSL/TLS Protocol Implementation.
  216. Formal Verification: Mathematically Proven Memory-Safe Software
  217. TrustInSoft Announces April 2026 Release of TrustInSoft Analyzer with AI Powered Verification Enhancements
  218. Prevent CWEs with TrustInSoft: Memory Safety Solutions
  219. US Cyber Trust Mark: Security Guidelines
  220. Provable Code: Best Practices for Long-Term Maintenance with Formal Verification
  221. Embedded Security: Trends, Regulations & Best Practices
  222. Automation vs. Assurance
  223. Formal Verification & Soundness for Critical Systems | TrustInSoft
  224. Rust’s Rise in Embedded Systems
  225. Optimize Software Quality and Reduce Testing Costs with TrustInSoft Analyzer
  226. ISO 21434: Beyond Compliance
  227. Revolutionizing Software Verification with Exhaustive Static Analysis.
  228. Unboxing Year In Review 2025
  229. Looking for undefined behavior in ntpd
  230. GitHub Actions
  231. The Future of Automotive Software: A Path to Zero-Bug Vehicles.
  232. CWE Prevention: A Developer's Guide to Secure Coding
  233. Navigating the Complex Landscape of Automotive Cybersecurity with ISO/SAE 21434.
  234. AI Software Verification: Ship Faster with Proven Assurance | TrustInSoft
  235. Spotlight on CWEs: Ensuring Memory Safety with Formal Verification
  236. Fortifying TEE Security with Formal Methods.
  237. Your Guide to the CRA
  238. Embedded World 2026 in Nuremberg
  239. Acceleration Does Not Replace Verification
  240. Static analysis and low-level C programs that access the representation of addresses
  241. SDV Software Safety: Ensuring Reliability in Software-Defined Vehicles
  242. Oxidize 2025
  243. Unmasking the Dangers of Undefined Behaviors: A CrowdStrike Falcon Case Study.
  244. The Future of Software Testing
  245. Unraveling the Power of Fuzzing: A Comprehensive Guide.
  246. TrustInSoft Founder Steps Down, Company Continues to Grow
  247. Embedded World 2024 Recap
  248. 2022 04 27 secure coding interview
  249. Boost operational efficiency
  250. Generate revenue opportunities
  251. Manage risk