TrustInSoft mathematically guarantees bug free IoT code with Application Security Test

This article has been indexed from Help Net Security

TrustInSoft announced an Application Security Test (AST) specifically designed to mathematically guarantee bug-free code in embedded Internet of Things (IoT) devices. This AST for IoT is based on TrustInSoft’s Analyzer to provide the equivalent of static and dynamic code analysis of C/C++ source code using Formal Methods testing to guarantee the absence of undefined source code behaviors. Security testing is critical to bring reliable IoT systems to market. However, traditional static and dynamic analysis methods … More →

The post TrustInSoft mathematically guarantees bug free IoT code with Application Security Test appeared first on Help Net Security.

Read the original article: TrustInSoft mathematically guarantees bug free IoT code with Application Security Test