USING SOURCE-CODE ANALYSIS TO HEAD OFF CYBER ATTACKS

TrustInSoft guarantees software engineers total immunity when faced with the most common types of cyber attacks. The company’s unrivalled solution has earned the recognition of the US National Institute of Standards and Technology (NIST).

Technology

Traditional source-code analysis methods entail verifying a multitude of attacks with no proof that all the potential vulnerabilities are actually covered. TrustInSoft Analyzer is different in that it mathematically guarantees that programs written in C and C++ will have no vulnerabilities to cyber threats. Potential breaches are always detected.
This zero-error method makes the verification process shorter and less expensive. The system meets the needs of developers of critical applications in the aeronautics and nuclear sectors, but could also be used in the railway, space and defense, telecommunications, and other industries. TrustInSoft’s system utilizes the List- Inria Frama-C source-code analyzer, considered by the US National Institute of Standards and Technology (NIST) to be the only tool in the world capable of ensuring software immunity to cyber attacks.
Founded in 2013, the startup has established a joint laboratory with List and counts users in Europe, the United States, and Japan.