Dawson Engler Phones & Addresses
-
La Honda, CA
-
Lakeside, AZ
-
San Carlos, CA
-
Los Altos Hills, CA
-
Menlo Park, CA
-
Somerville, MA
-
Cambridge, MA
-
Yuma, AZ
-
San Mateo, CA
Business Records
Name / Title
Company / Classification
Phones & Addresses
Co-founder
Coverity
Computer Software · Software Development And Sales · Computer Programming Svc Prepackaged Software Svc · Computer Sales · Computer and Software Stores · Newspaper Publishers
Computer Software · Software Development And Sales · Computer Programming Svc Prepackaged Software Svc · Computer Sales · Computer and Software Stores · Newspaper Publishers
185 Berry St SUITE 6500, San Francisco, CA 94107
San Francisco, CA 94107
(415) 321-5200, (415) 541-9521, (415) 541-9520, (415) 321-5205
San Francisco, CA 94107
(415) 321-5200, (415) 541-9521, (415) 541-9520, (415) 321-5205
Publications
Us Patents
Statistical Inference Of Static Analysis Rules
View pageUS Patent:
7505952, Mar 17, 2009
Filed:
Oct 20, 2003
Appl. No.:
10/689556
Inventors:
Dawson Richards Engler - Menlo Park CA, US
Assignee:
The Board of Trustees of the Leland Stanford Junior University - Palo Alto CA
International Classification:
G06F 17/00
G06N 5/02
G06N 5/02
US Classification:
706 47
Abstract:
Various apparatus and methods are disclosed for identifying errors in program code. Respective numbers of observances of at least one correctness rule by different code instances that relate to the at least one correctness rule are counted in the program code. Each code instance has an associated counted number of observances of the correctness rule by the code instance. Also counted are respective numbers of violations of the correctness rule by different code instances that relate to the correctness rule. Each code instance has an associated counted number of violations of the correctness rule by the code instance. A respective likelihood of the validity is determined for each code instance as a function of the counted number of observances and counted number of violations. The likelihood of validity indicates a relative likelihood that a related code instance is required to observe the correctness rule. The violations may be output in order of the likelihood of validity of a violated correctness rule.
Wikipedia References
