|
Coverity
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. Products 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 s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dawson Engler
Dawson R. Engler is an American computer scientist and an associate professor of computer science and electrical engineering at Stanford University. Career After graduating from University of Arizona, Engler earned his Ph.D. from the Massachusetts Institute of Technology in 1998 while working with Frans Kaashoek in the MIT Computer Science and Artificial Intelligence Laboratory, MIT CSAIL Parallel and Distributed Operating Systems Group. The focus of his graduate studies was the exokernel. Engler is currently an associate professor of computer science and electrical engineering at Stanford University. In 2002, he co-founded Coverity with several of his students to commercialize his group's work in static code analysis for Software bug, bug-finding technology. Awards and honors Engler and his co-authors received the Best Paper award at USENIX's OSDI conferences in 2000, 2004, and 2008. With his students Cristian Cadar and Daniel Dunbar, he was jointly awarded the 2018 ACM SIGO ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |