Method and system for detecting race condition vulnerabilities in source code
US7398516B2 · kind B2 · utility
31Cited by
7References
4Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Apr 15, 2004 |
| Grant date | Jul 8, 2008 |
| Priority date | — |
| Expiry date | Nov 2, 2025 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/577
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models are derived for the code and the models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routines posses one or more of pre-selected vulnerabilities.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.