Demo
Back to news Tour guide demo of TrustInSoft Analyzer and its 2016 code editing and progress charts features on the ntpd daemon TrustInSoft Analyzer Demo https://youtu.be/Qt9mqynLCH4 Newsletter Related articles See more news
TIS-interpreter progress report
Back to news Improving the interpreter and applying new tests tis-interpreter is a specialized version of Frama-C for interpreting C programs and finding bugs in them. The development of tis-interpreter started from Frama-C’s Value Analysis plug-in, and discarded the possibility of analyzing the behaviors of the program for all inputs. Instead, tis-interpreter monitors the program’s behavior […]
Looking for undefined behavior in ntpd
Back to news Video demonstration of TrustInSoft Analyzer and the eradication of runtime errors Eradicate NTPD runtime errors This is TrustInSoft Analyzer: it is used by customers since 2014 but no public video was available until now. This is the “Episode 1”: it focuses on one specific usage pattern and does not show-case all of TrustInSoft […]
TrustInSoft technology meets NIST high assurance standards
Back to news National Institute of Standards and Technology launches SATE. How is it possible to protect smartphones, information systems, and computers from cyber threats? How is it possible to develop high-quality software able to resist common cyber threats? To answer these questions, the National Institute of Standards and Technology (NIST) launched the Static Analysis […]
