WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2009055914) STATIC ANALYSIS DEFECT DETECTION IN THE PRESENCE OF VIRTUAL FUNCTION CALLS
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2009/055914    International Application No.:    PCT/CA2008/001907
Publication Date: 07.05.2009 International Filing Date: 31.10.2008
IPC:
G06F 11/36 (2006.01), G06F 9/44 (2006.01)
Applicants: KLOCWORK CORP. [CA/CA]; 30 Edgewater Street, Suite 114, Ottawa, Ontario K2L 1V8 (CA) (For All Designated States Except US).
JEGOULEV, Kirill [CA/CA]; (CA) (For US Only).
IVANOV, Igor [CA/CA]; (CA) (For US Only).
FROLOV, Artem [RU/CA]; (CA) (For US Only)
Inventors: JEGOULEV, Kirill; (CA).
IVANOV, Igor; (CA).
FROLOV, Artem; (CA)
Agent: SMART & BIGGAR; P.O. Box 2999, Station D., 900-55 Metcalfe Street, Ottawa, Ontario K1P 5Y6 (CA)
Priority Data:
60/984,994 02.11.2007 US
Title (EN) STATIC ANALYSIS DEFECT DETECTION IN THE PRESENCE OF VIRTUAL FUNCTION CALLS
(FR) DÉTECTION DE DÉFAUTS PAR ANALYSE STATIQUE EN PRÉSENCE D'APPELS DE FONCTIONS VIRTUELLES
Abstract: front page image
(EN)A computer-implemented error detection mechanism for detecting programming errors in a computer program. The computer-implemented error detection method described herein can make use of a Function Behaviour Knowledge Base (FBKB) to approximate how a virtual function changes state of the program execution for all methods that can be called at each specific invocation point. The FBKB is used to select what implementation of a virtual function should be called in order to give rise to a programming defect. By dropping implementations that do not lead to a programming defect, the set of possible object runtime types is reduced. If this set is empty by the end of the analysis, then a defect is not possible, otherwise the set of object runtime types will contain types that may cause a defect.
(FR)La présente invention concerne un mécanisme de détection d'erreurs mis en œuvre par ordinateur et permettant de détecter des erreurs de programmation dans un programme informatique. Le procédé de détection d'erreurs mis en œuvre par ordinateur décrit ici peut utiliser une base de connaissances des comportements de fonctions (FBKB) pour approcher la manière dont une fonction virtuelle modifie l'état de l'exécution du programme pour tous les procédés susceptibles d'être appelés à chaque point d'appel spécifique. La FBKB est utilisée pour sélectionner quelle mise en œuvre d'une fonction virtuelle doit être appelée afin de provoquer un défaut de programmation. En abandonnant les mises en œuvre ne générant aucun défaut de programmation, on réduit l'ensemble des types possibles de modules d'exécution d'objet. Si cet ensemble est vide à la fin de l'analyse, il est impossible qu'il y ait un défaut ; dans le cas contraire, l'ensemble des types de modules d'exécution d'objet contiendra des types susceptibles de provoquer un défaut.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MT, NL, NO, PL, PT, RO, SE, SI, SK, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)