AppChecker

Appointment

The static code analyzer intended for computer-assisted retrieval of defects in the source code of the applications developed on С#, C/C ++, Java, PHP.

Regulatory base of application

• PC BR OF IBBS-2.6-2014;

- PCI DSS.

Advantages

• search over 100 types of defects of coding is performed. The rule base of search of defects constantly is replenished;
• classification of CWE is completely supported;
• rule bases of search of defects are created taking into account different standards and recommendations about defensive programming from OWASP, CERT, NIST, etc.;
• use of "thin client" technology (the web interface is used) allows to book joint audit of the code by several experts;
• the flexible configuration of the analyzed projects allows to consider influence of such features of programming languages, such as directives of a prekompilyation in C/C ++.

Specifications

• search of defects of coding using constantly updated rule base;
• search of program tabs;
• the analysis of a program code in the C#, C/C programming languages ++, Java, PHP;
• integration with version management systems of git, Subversion.

The supported specifications of programming languages

• ANSI C/C90/C99/C11;
• C ++ 98/C ++ 2003/C ++ 11/C ++ 14;
• Java 6/7/8 Language Specification;
• PHP 4/5;
• С# 5.0.

The analyzer of source texts[1]of the AppChecker programs is included in the unified register of the Russian programs for electronic computers and databases (the register of the Russian software). Order of the Ministry of Telecom and Mass Communications of the Russian Federation of 9/22/2016.