Strengthen your code up-to the perfection

Setup your project

• Describe your analyses with configuration files
  • Simple and flexible formats (JSON, Shell scripts)
  • Written in TrustInSoft CI or in committed files in your repository
  • ^(soon) Integrated with GitHub Actions
• Use your existing unit tests as an entry point for analyses
  • Testing finding all undefined behaviors
  • Simulate different architectures easily

Detect problems at a glance

• Green guarantee no undefined behaviors on this path
• Red problem detected
• No false positives: each detected problem is a real flaw
  • Check-out the list of covered CWE
• Find bugs that other tools cannot detect

Investigate any reported problem

• Easy access to all analysis reports
• Get details about any reported problem:
  • The exact location
  • The callstack leading to this problem
  • The value of involved variables at this location

Understand the origin of flaws

Access to the powerful TrustInSoft Analyzer Graphical User Interface:

• Dive into a non-ambiguous version of your code
  • Implicit is made explicit in order to understand, not to guess
  • Understand the call scheme of methods for your C++ objects
• Explore the value of any variable at any location of the program
• Trace back the origins of problematic values
• Get more metrics, and much more...

Monitor your projects

Fix or update your code without worries:

• Analyses are run automatically on any new commits
  • Follow your progression at fixing bugs
  • Be warned of any new problems or regressions
• Enable e-mail notification to catch any problem