Samsung has started to use the development of the Institute for system programming of the Russian Academy of Sciences (ISP RAS) called Svace, which aims to identify errors in the source code of Android, native apps Samsung and Tizen. This is reported by “Vedomosti” with reference to the Director of the ISP RAS Harutyun Avetisyan and GR-Director of the Russian office of Samsung Marat Guriev.
According to Guriev and Avetisyan, the South Korean manufacturer has invested in Russian product over $10 million, but the rights to the product remained for the ISP itself and Samsung got free use of the development. Application Svace allows you to make software products more stable and reliable.
On average, if you are writing 1000 lines of code a programmer makes about 20 mistakes. But Svace analyzes code written in C, C++, C# and Java and allows to reduce the number of errors in the several times that has a beneficial effect on the stability and security of the software.
High-speed software development and release updates, not physically allow programmers to manually “catch” all errors in code, said the Director of the IT cluster of the SKOLKOVO Foundation Igor Bogachev. I agree with him and senior Vice President of Acronis development Stanislav Protasov, who believes that BY consisting of millions of rows (and in Android their number reaches 15 million), it is extremely difficult to analyze manually. Therefore, the software to detect errors and needs all the major developers.
Svace is not the only such development on the market. And she has a lot of competitors like us from Coverity Synopsys, ClocWork from the American Rogue Wave, Fortify, Hewlett-Packard and Israeli CheckMark. And the Director of Department of development of technologies Konstantin Anisimovich doubt the usefulness of the development of the ISP, considering it a simple static code analyzer capable of look for a very simple error and persevere in the errors in the algorithms.
