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. (WO2012103955) A SYSTEM AND A METHOD FOR ANALYZING A PIECE OF CODE
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2012/103955    International Application No.:    PCT/EP2011/051651
Publication Date: 09.08.2012 International Filing Date: 04.02.2011
IPC:
G06F 11/36 (2006.01)
Applicants: SIEMENS AKTIENGESELLSCHAFT [DE/DE]; Wittelsbacherplatz 2 80333 München (DE) (For All Designated States Except US).
MURTHY, Prakriya Venkata Ramana [IN/IN]; (IN) (For US Only).
SHETTY, Dipak [IN/IN]; (IN) (For US Only).
SINGI, Kapil [IN/IN]; (IN) (For US Only)
Inventors: MURTHY, Prakriya Venkata Ramana; (IN).
SHETTY, Dipak; (IN).
SINGI, Kapil; (IN)
Common
Representative:
SIEMENS AKTIENGESELLSCHAFT; Postfach 22 16 34 80506 München (DE)
Priority Data:
Title (EN) A SYSTEM AND A METHOD FOR ANALYZING A PIECE OF CODE
(FR) SYSTÈME ET PROCÉDÉ D'ANALYSE D'UN MORCEAU DE CODE
Abstract: front page image
(EN)A system (1) for analyzing a piece of code (2) includes a symbolic state generator (3) adapted to generate symbolic states (4) for statements in the piece of code (2) where exceptions occur and to provide the symbolic states (4) as inputs to a static analyzer (5), an user interface (8) adapted to transfer an exception specifier (10) having an exception causing state (6) to a static analyzer (5), and the static analyzer (5) adapted to receive the symbolic states (4) from the symbolic state generator (3) and the exception specifier (10) having the exception causing state (6) from the user interface (8) and to compare the symbolic states (4) with the exception causing states (6) and to provide an output (9) on a basis of such comparison, wherein the exception specifier (10) comprises of an exception causing state (6) and represents any one of a language run-time exception or a user defined exception.
(FR)L'invention porte sur un système (1) d'analyse d'un morceau de code (2) qui comprend un générateur d'état symbolique (3) conçu pour générer des états symboliques (4) pour des instructions figurant dans le morceau de code (2) dans lesquelles des exceptions se produisent et pour fournir les états symboliques (4) à titre d'entrées à un analyseur statique (5), une interface utilisateur (8) conçue pour transférer un spécificateur d'exception (10) ayant un état causant une exception (6) à un analyseur statique (5), et l'analyseur statique (5) conçu pour recevoir les états symboliques (4) en provenance du générateur d'état symbolique (3) et le spécificateur d'exception (10) ayant l'état causant une exception (6) en provenance de l'interface utilisateur (8), et pour comparer les états symboliques (4) aux états causant une exception (6) et fournir une sortie (9) sur la base de cette comparaison, le spécificateur d'exception (10) étant constitué d'un état causant une exception (6) et représentant une exception quelconque parmi une exception d'exécution de langage et une exception définie par l'utilisateur.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, 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, PE, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, 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 (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, 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)