TrustInSoft Offers Free Application Security Testing Program for Google Summer of Code Projects

By Tiera Oliver

Associate Editor

Embedded Computing Design

June 09, 2021


TrustInSoft Offers Free Application Security Testing Program for Google Summer of Code Projects

TrustInSoft announced a free offer for an Application Security Test (AST) designed for students who are preparing their Google Summer of Code (GSoC) project submissions.

According to the company, this AST for Googlers is based on TrustInSoft's Analyzer to provide static code analysis of C/C++ source code using Formal Methods testing to guarantee bug free code. TrustInSoft's AST for Googlers automates Formal Methods testing using mathematics to guarantee the absence of bugs by running a large number of tests with the click of a button.

GSoC students who register for TrustInSoft's free AST will receive free access to tools allowing the absence of complete families of undefined programming errors in their C/C++ source code. Analysis features include:

  • Memory Access and Arithmetic Operations: prevent security breaches from buffer overflow, access out of bounds, invalid pointers usage, non-initialized variables, and more.
  • Zero false positives and zero false negatives through sound and exhaustive tests that ensure all bugs are detected.

To register for TrustInSoft's Google Summer of Code Application Security Test, visit:

For more information, visit:

Featured Companies


2415 Third Street
San Francisco, California 94107

Tiera Oliver, Associate Editor for Embedded Computing Design, is responsible for web content edits, product news, and constructing stories. She also assists with newsletter updates as well as contributing and editing content for ECD podcasts and the ECD YouTube channel. Before working at ECD, Tiera graduated from Northern Arizona University where she received her B.S. in journalism and political science and worked as a news reporter for the university’s student led newspaper, The Lumberjack.

More from Tiera