Product
Industries
Client testimonials
About Us
Blog
Press Kit
Contact Us
Try Online

About the Blog

Lorem ipsum dolor sit amet, consectetur elit porta. Vestibulum ante justo, volutpat quis porta non, vulputate id diam. Lorem et ipsum dolor sit amet, consectetur adipiscing elit. Morbi vitae sem in massa sagittis.

Fresh newsfollow us

Foundation

Posted On May 2, 2013 By Fabrice Derepas In Archives /

TrustInSoft was founded on May 2nd, 2013.

TrustInSoft founders from left to right: Pascal Cuoq, Benjamin Monate and Fabrice Derepas.

Netva 2013

They support us!

Fabrice Derepas

All articles by: Fabrice Derepas

TSnippet is an advanced, static source code analysis tool that guarantees the absence of undefined behaviors in single-file snippets of C source code.

The user can type in, or paste, a self-contained C code snippet, and then check for undefined behavior by clicking on the Analyze button.

TSnippet warns the user whenever the code has an undefined behavior. The Overview tab (bottom left) reports a synopsis about the analysis’ status, while the Analyzer View (right panel) shows precisely which assertion was expected to hold and has been violated. All the code that follows the violation is highlighted in red, as the analysis will not reach it as it stops upon encountering the problem.

TSnippet provides several advanced debugging features useful to understand the detected undefined behavior. The user may look at the TrustInSoft documentation concerning the failed assertion by clicking on the Help button, inspect the values of program variables (bottom right) by clicking on Inspect buttons, see which statements have influenced the variable values in the Show Defs Statements tab (bottom left), and much more.

The user can then modify the code snippet, and run the analysis once again.

The user may iterate the edit-analyze-check result process as many times as needed till all the problems in the program are fixed, and TSnippet finally declares it correct.

Try this example online

By continuing to use the site, you consent to the use of cookies. They allow us to gather anonymous browsing data that are indispensable to understand how our website is used and continuously improve your experience.I agree Privacy policy