Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Америкалық бағдарламалық қамтамасыз ету компаниясы
American software company
Coverity – Synopsys компаниясына тиесілі статикалық кодты талдау құралы. Бұл өнім инженерлер мен қауіпсіздік топтарына бағдарламалық жасақтамадағы кемшіліктерді табуға және түзетуге көмектеседі. Coverity 2002 жылы Калифорния штатының Пало-Альто қаласындағы Стэнфорд университетінің Компьютерлік жүйелер зертханасында тәуелсіз бағдарламалық қамтамасыз ету компаниясы ретінде құрылған. Оның негізін Бенджамин Челф, Энди Чоу және Сет Халлем қалады, ал Стэнфорд профессоры Доусон Энглер техникалық кеңесші болды. Бас кеңсе Сан-Францискоға көшірілді. 2008 жылдың маусым айында Coverity Solidware Technologies компаниясын сатып алды. 2014 жылдың ақпан айында Coverity электрондық дизайнды автоматтандыру компаниясы Synopsys компаниясымен 350 миллион долларға (қолма-қол ақшадан таза) сатып алу туралы келісім жасағанын хабарлады.
Coverity is a proprietary static code analysis tool from Synopsys. This product enables engineers and security teams to find and fix software defects. Coverity started as an independent software company in 2002 at the Computer Systems Laboratory at Stanford University in Palo Alto, California. It was founded by Benjamin Chelf, Andy Chou, and Seth Hallem with Stanford professor Dawson Engler as a technical adviser. The headquarters was moved to San Francisco. In June 2008, Coverity acquired Solidware Technologies. In February 2014, Coverity announced an agreement to be acquired by Synopsys, an electronic design automation company, for $350 million net of cash on hand.
Өнімдер
Coverity – C, C++, C#, Java, JavaScript, PHP, Python, .NET, ASP.NET, Objective C, Go, JSP, Ruby, Swift, Fortran, Scala, VB.NET және TypeScript тілдері үшін статикалық кодты талдау құралы. Сондай-ақ, Java, JavaScript, C# және басқа тілдер үшін 70-тен астам әртүрлі фреймворктерді қолдайды. Coverity Scan – ашық кодты қауымдастық үшін тегін, бұлттағы статикалық талдау қызметі.
Coverity is a static code analysis tool for C, C++, C#, Java, JavaScript, PHP, Python, NET, ASP. NET, Objective C, Go, JSP, Ruby, Swift, Fortran, Scala, VB. NET, and TypeScript. It also supports more than 70 different frameworks for Java, JavaScript, C# and other languages. Coverity Scan is a free static analysis cloud based service for the open source community.
Қолданбалар
2006 жылы АҚШ Ішкі қауіпсіздік департаментімен жасалған шарт бойынша, құрал 150-ден астам ашық кодты бағдарламаларды қателерге тексеру үшін пайдаланылды; сканерлеу нәтижесінде табылған 6000 қате 53 жоба бойынша түзетілді. Ұлттық автомобиль жолдары қауіпсіздігі басқармасы (NHTSA) 2010-2011 жылдардағы Toyota көліктерінде кенеттен және күтпеген үдеу туралы хабарламаларды тергей отырып, осы құралды қолданды. Сондай-ақ, құрал CERN-дегі Үлкен адрондық коллайдерде қолданылған бағдарламалық жасақтамада және NASA Jet Propulsion Laboratory-де Марс ровері Curiosity-нің ұшу бағдарламалық жасақтамасын әзірлеу кезінде пайдаланылды.
Under a United States Department of Homeland Security contract in 2006, the tool was used to examine over 150 open source applications for bugs; 6000 bugs found by the scan were fixed across 53 projects. National Highway Traffic Safety Administration used the tool in its 2010 2011 investigation into reports of sudden unintended acceleration in Toyota vehicles. The tool was used by CERN on the software employed in the Large Hadron Collider and in the NASA Jet Propulsion Laboratory during the flight software development of the Mars rover Curiosity.