EP3563231 - SYSTEMS AND/OR METHODS FOR TYPE INFERENCE FROM MACHINE CODE [Right-click to bookmark this link] | Status | The application has been withdrawn Status updated on 07.08.2020 Database last updated on 02.09.2024 | |
Former | Request for examination was made Status updated on 04.10.2019 | ||
Former | The international publication has been made Status updated on 07.07.2018 | Most recent event Tooltip | 07.08.2020 | Withdrawal of application | published on 09.09.2020 [2020/37] | Applicant(s) | For all designated states GrammaTech, Inc. 531 Esty Street Ithaca, NY 14850 / US | [2019/45] | Inventor(s) | 01 /
NOONAN, Matthew 112 Glenside Road Ithaca, NY 14850 / US | 02 /
LOGINOV, Alexey 70 Murfield Drive Ithaca, NY 14850 / US | 03 /
COK, David 457 Hillside Avenue Rochester, NY 14610 / US | [2019/45] | Representative(s) | Asquith, Julian Peter Marks & Clerk LLP 2nd Floor, Wytham Court 11 West Way Oxford OX2 0JB / GB | [N/P] |
Former [2019/45] | Asquith, Julian Peter Marks & Clerk LLP Fletcher House Heatley Road The Oxford Science Park Oxford OX4 4GE / GB | Application number, filing date | 17886513.5 | 12.10.2017 | [2019/45] | WO2017US56306 | Priority number, date | US201615393463 | 29.12.2016 Original published format: US201615393463 | [2019/45] | Filing language | EN | Procedural language | EN | Publication | Type: | A1 Application with search report | No.: | WO2018125363 | Date: | 05.07.2018 | Language: | EN | [2018/27] | Type: | A1 Application with search report | No.: | EP3563231 | Date: | 06.11.2019 | Language: | EN | The application published by WIPO in one of the EPO official languages on 05.07.2018 takes the place of the publication of the European patent application. | [2019/45] | Search report(s) | International search report - published on: | US | 05.07.2018 | (Supplementary) European search report - dispatched on: | EP | 13.07.2020 | Classification | IPC: | G06F8/41, // G06F8/53, G06F8/74 | [2020/33] | CPC: |
G06F8/53 (EP,US);
G06F8/437 (EP,US);
G06F8/74 (EP,US);
G06F11/3668 (US)
|
Former IPC [2019/45] | G06F8/40 | Designated contracting states | AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LI, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR [2019/45] | Title | German: | SYSTEME UND/ODER VERFAHREN ZUR TYPENABLEITUNG AUS EINEM MASCHINENCODE | [2019/45] | English: | SYSTEMS AND/OR METHODS FOR TYPE INFERENCE FROM MACHINE CODE | [2019/45] | French: | SYSTÈMES ET/OU PROCÉDÉS D'INFÉRENCE DE TYPE À PARTIR D'UN CODE MACHINE | [2019/45] | Entry into regional phase | 04.07.2019 | National basic fee paid | 04.07.2019 | Search fee paid | 04.07.2019 | Designation fee(s) paid | 04.07.2019 | Examination fee paid | Examination procedure | 04.07.2019 | Amendment by applicant (claims and/or description) | 04.07.2019 | Examination requested [2019/45] | 30.07.2020 | Application withdrawn by applicant [2020/37] | Fees paid | Renewal fee | 29.07.2019 | Renewal fee patent year 03 |
Opt-out from the exclusive Tooltip competence of the Unified Patent Court | See the Register of the Unified Patent Court for opt-out data | ||
Responsibility for the accuracy, completeness or quality of the data displayed under the link provided lies entirely with the Unified Patent Court. | Documents cited: | Search | [X] - MATTHEW NOONAN ET AL, "Polymorphic Type Inference for Machine Code", ARXIV.ORG, CORNELL UNIVERSITY LIBRARY, 201 OLIN LIBRARY CORNELL UNIVERSITY ITHACA, NY 14853, (20160317), XP080690358 [X] 1-15 * page 2, column left, line 3 - line 9 * * page 4, column left, line 41 - line 50 * * page 4, column right, line 24 - line 38 * * page 5, column left, line 13 - line 32 * * page 6, column right, line 32 - page 7, column left, line 23 * * page 7, column right, line 13 - line 27 * * page 8, column left, line 40 - line 51 * * page 8, column right, line 3 - line 27 * * page 21, column right, line 16 - line 20 * * page 23, column left, line 10 - line 12 * * table 1 * * figures 2, 5, 14 * | [A] - JUNGHEE LIM ET AL, "TSL", ACM TRANSACTIONS ON PROGRAMMING LANGUAGE AND SYSTEMS, ACM, NEW YORK, NY, (20130401), vol. 35, no. 1, doi:10.1145/2450136.2450139, ISSN 0164-0925, pages 1 - 59, XP058014937 [A] 1-15 * abstract * * page 4:2, line 16 - line 28 * * page 4:6, line 7 - line 19 * * table 1 * DOI: http://dx.doi.org/10.1145/2450136.2450139 | [A] - Gogul Balakrishnan ET AL, "CodeSurfer/x86-A Platform for Analyzing x86 Executables", 12th European Conference on Computer Vision, ECCV 2012, Berlin, Heidelberg, Springer Berlin Heidelberg, (20050101), vol. 3443, pages 250 - 254, 031559, doi:10.1007/978-3-540-31985-6_19, ISSN 0302-9743, ISBN 978-3-642-36741-0, XP055709660 [A] 1-15 * the whole document * DOI: http://dx.doi.org/10.1007/978-3-540-31985-6_19 | International search | [A]US9135027 (BASUMALLIK AYON [US], et al) [A] 1-20 * ; the entire document *; | [A]US2006242628 (PLESKO MARK R [US], et al) [A] 1-20 * ; (lie enliie document *; | [A]US2008320453 (MEIJER HENRICUS JOHANNES MARIA [US], et al) [A] 1-20 * ; the entire document * |