No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Latest commit 3c6e2b5 May 24, 2018
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples fix typo. May 24, 2018 0.4.3-beta Jan 25, 2018 Initialize TrustInSoft repository. Oct 25, 2017


Built for serious C and C++ developers


TrustInSoft Analyzer is a static source code analysis platform inspired by the way you develop sensitive code.

From open source to business, you can formally understand, debug and verify code with the confidence that TrustInSoft Analyzer will never miss anything.


  • C and C++ source code analyzer
  • Exhaustive undefined behavior detection
  • Exhaustive debugging with interactive exploration of values of all variables
  • Control and data flow analyses, and functional dependency analyses
  • Exhaustive detection of race condition

The turnkey solution to guarantee that your software is safe and secure

  • Apply format methods to provide mathematical guarantees
  • Static analyses framework with collaborating formal methods
  • Support of many different architectures
  • Better understanding of all the behaviors of your software
  • Get more value of your existing test suites
  • Cutting costs by automating verification tasks


Enjoy our library of free examples:


Newcomers Open Projects Private Projects On-premises



  • Github Integration
  • Verification of test-suites
  • JSON configuration
  • Super simple GUI
  • Community Support



  • Github Integration
  • Exhaustive API verification
  • Flexible GUI
  • Community support

Contact us


  • All benefits of Open Projects
  • Verify your Github
  • Private repositories
  • Dedicated private support

Contact us


  • All benefits of Private Projects
  • Full CLI support
  • C++
  • Multi-threaded analyses
  • Deductive proof
  • Local dedicated Server
  • Dedicated Support
  • Dedicated Training
Sign In Get In Touch Coming Soon Get In Touch

Newcomers Open Projects Private Projects On-Premises
Analyze test-suites ✔️ ✔️ ✔️ ✔️
Exhaustive API analysis ✔️ ✔️ ✔️
C++ Analysis Coming Soon Coming Soon Coming Soon ✔️
Multi-threaded analyses Coming Soon Coming Soon ✔️
Functional proof Coming Soon Coming Soon ✔️
Hosted on ✔️ ✔️ ✔️
Local dedicated server ✔️
Applicability Github Public Projects Github Public Projects Github Private Projects Any Projects
Support Community Community Dedicated Dedicated
Training Free Materials Free Materials Free Materials On-site on-boarding