Codesonar enhances software reliability through innovative static analysis

“ In order to help software developers solve the most challenging software problems today and in the future , For example, failures and network attacks , We focus on static application security testing and static code analysis .”
In order to further improve the reliability of the software ,GrammaTech The company is working with the U.S. Department of Homeland Security （DHS） cooperation , And in “ Static analysis modernization program （STAMP）” Carry out cutting-edge research and development under the guidance of .GrammaTech CEO Teitelbaum say ：“DHS Ask us to provide innovative ideas that can add value to the field of static analysis .” For three years ,GrammaTech Put forward revolutionary ideas , The most important one is to use machine learning to check the large code base in the open source community , To automatically understand how users use certain API. just as Teitelbaum Noted , This reduces manual 、 Disadvantages associated with legacy methods , These legacy methods can be used to find out about API Enforced rules , Use machine learning to automate the rule creation process , Ensure more program error checking at a lower cost .“ We learn rules from thousands of open source programs , And with CodeSonar Integration with other open source analyzers , So that the open source community can also benefit from our research .”Teitelbaum added .
We cannot overemphasize the importance of program code testing in the software development life cycle , Especially in network security , Developers have a greater obligation to improve software quality . Over the years , Software quality has gradually become a major challenge for developers . therefore , Cyber threats have driven the rapid development of advanced code analysis tools . Software assurance tools and advanced network security solutions CodeSonar With its “ Core innovation ” Methods and strong research strength meet this global demand . Adhering to the software design concept of safety first ,CodeSonar Through its robust code analysis platform , Help customers design 、 Develop and deploy trusted software applications . It can detect and eliminate software problems , Including data competition , Deadlock , Thread starvation , Buffer overflow, etc , These vulnerabilities may lead to the ultimate network security risk .
CodeSonar It is a static analysis tool for the whole program , It uses unified data flow and symbols to perform analysis and check the logic of the whole program . Compared with similar tools , The static analysis engine can be three to five times more efficient in detecting threats . Besides ,CodeSonar You can easily integrate the existing development process of the enterprise at any time . In other words , Can be CodeSonar Positioned as the guardian angel of software integrity , Static application security testing and code analysis can help enterprises solve the most challenging network security problems they are facing now and in the future .

Free experience ：http://www.softtest.cn/