Back to Results
First PageMeta Content
Program analysis / LDRA Testbed / Coverity / Veracode / Klocwork / Vulnerability / SofCheck Inspector / Static program analysis / GrammaTech / Software / Computing / Software testing


Special Publication[removed]The Second Static Analysis Tool Exposition (SATE[removed]Vadim Okun
Add to Reading List

Document Date: 2013-05-07 16:54:57

Open Document

File Size: 322,70 KB

Share Result on Facebook

City

Arlington / /

Company

Systems Division Information Technology / Okun Aurelien Delaitre Paul E. Black Software / /

Facility

U.S. Department of Commerce National Institute of Standards and Technology Abstract / Systems Division Information Technology Laboratory National Institute of Standards and Technology Gaithersburg / /

IndustryTerm

production software / test case developer web sites / static analysis tools / large-scale network service software systems / conclusions regarding which tools / /

Organization

Institute of Standards and Technology Abstract / SATE Organization / U.S. Department of Commerce / Institute of Standards and Technology Gaithersburg / /

Person

David A. Wheeler / Vadim Okun Aurelien Delaitre Paul / /

Position

Armorize CodeSecure Checkmarx CxSuite Coverity Prevent Grammatech CodeSonar Klocwork Insight1 LDRA Testbed SofCheck Inspector / analyst / DMDirc SofCheck Inspector / /

ProgrammingLanguage

Perl / Java / PHP / /

ProvinceOrState

Maryland / Virginia / /

Technology

virtual machine / XML / Perl / PHP / operating system / JSP / Java / Information Technology / /

SocialTag