{ "labelLang" : "hun", "responseDate" : "2024-03-29 05:35", "content" : { "otype" : "BookChapter", "mtid" : 30975761, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2023-11-02T18:48:10.559+0000", "lastModified" : "2020-09-17T08:55:45.100+0000", "created" : "2019-12-10T17:31:44.189+0000", "creator" : { "otype" : "Author", "mtid" : 10012498, "link" : "/api/author/10012498", "label" : "Porkoláb Zoltán (Programozási nyelvek, generatív programozás, szoftvermetrikák)", "familyName" : "Porkoláb", "givenName" : "Zoltán", "published" : true, "oldId" : 10012498, "snippet" : true }, "lastDuplumOK" : "2020-02-21T14:27:46.410+0000", "lastDuplumSearch" : "2020-02-21T14:27:46.410+0000", "adminApproved" : "2020-09-17T08:55:45.113+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10053084, "link" : "/api/admin/10053084", "label" : "Németh Gabriella (ELTE IK admin 5)", "familyName" : "Németh", "givenName" : "Gabriella", "published" : true, "oldId" : 10053084, "snippet" : true }, "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Gulabovska, Hristina", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 89188356, "link" : "/api/authorship/89188356", "label" : "Gulabovska, Hristina [Gulabovska, Hristina (Informatics), szerző] IK hallgatók (ELTE / IK)", "listPosition" : 1, "share" : 0.5, "first" : true, "last" : false, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10070877, "link" : "/api/author/10070877", "label" : "Gulabovska Hristina (Informatics)", "familyName" : "Gulabovska", "givenName" : "Hristina", "published" : true, "snippet" : true }, "familyName" : "Gulabovska", "givenName" : "Hristina", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 89188357, "link" : "/api/authorship/89188357", "label" : "Porkoláb, Zoltán [Porkoláb, Zoltán (Programozási nyel...), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "listPosition" : 2, "share" : 0.5, "first" : false, "last" : true, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10012498, "link" : "/api/author/10012498", "label" : "Porkoláb Zoltán (Programozási nyelvek, generatív programozás, szoftvermetrikák)", "familyName" : "Porkoláb", "givenName" : "Zoltán", "published" : true, "oldId" : 10012498, "snippet" : true }, "familyName" : "Porkoláb", "givenName" : "Zoltán", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true } ], "title" : "Towards More Sophisticated Static Analysis Methods of Python Programs", "firstPage" : "144", "lastPage" : "149", "firstPageOrInternalIdForSort" : "144", "pageLength" : 6, "publishedYear" : 2019, "abstractText" : "Static analysis is a software verification method which is analyzing the source code without executing it for detecting code smells and possible software bugs. Various analysis methods have been successfully applied for languages with static type system, such as C, C++ and Java. Python is an important programming language with dynamic type system, used in many emerging areas, including data science, machine learning and web applications. The dynamic behavior of the Python language requires different static analysis approaches compared to the ones with static type system. In this paper we overview these methods and investigate their advantages and shortages. We compare the symbolic execution with the generally used Abstract Syntax Tree based approach and show its advantages based on concrete examples. We also highlight the restrictions of current tools and suggest further research directions to tackle these problems.", "fundings" : [ { "otype" : "Funding", "mtid" : 1981549, "link" : "/api/funding/1981549", "label" : "Integrált kutatói utánpótlás-képzési program az informatika és számítástudomány diszciplináris te...(EFOP-3.6.3-VEKOP-16-2017-00002)", "published" : false, "snippet" : true } ], "digital" : null, "printed" : true, "sourceYear" : 2019, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-11-02", "oaFree" : false, "citationCount" : 1, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 1, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "wosScopusCitationCount" : 0, "wosScopusCitationCountWoOther" : 0, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 1, "selfCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 1, "independentCitingPubCount" : 1, "citingPubCountWoOther" : 0, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "pubStats" : { "types" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "count" : 0 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "count" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "count" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "count" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "count" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "count" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "count" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "count" : 1 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "count" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "count" : 0 } ], "citationTypes" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 } ], "years" : [ { "year" : 2023, "publicationCount" : 0, "citationCount" : 1, "independentCitationCount" : 1, "citingPubCount" : 1, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null } ] }, "hasCitationDuplums" : false, "userChangeableUntil" : "2020-03-09T17:32:06.602+0000", "directInstitutesForSort" : "IK hallgatók (ELTE / IK); Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "ownerAuthorCount" : 2, "ownerInstituteCount" : 6, "directInstituteCount" : 2, "authorCount" : 2, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 30932376, "link" : "/api/publication/30932376", "label" : "William Steingartner. 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings. (2019) ISBN:9781728131788", "core" : false, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 16137250, "link" : "/api/publicationidentifier/16137250", "label" : "ISBN: 9781728131788", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9781728131788", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9781728131788", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10824, "link" : "/api/city/10824", "label" : "Poprad, Szlovákia", "partOf" : { "otype" : "Country", "mtid" : 10028, "link" : "/api/country/10028", "label" : "Szlovákia", "published" : true, "oldId" : 2144988, "snippet" : true }, "published" : true, "oldId" : 1367111, "snippet" : true } ], "publishedYear" : 2019, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/30975761", "label" : "Gulabovska Hristina et al. Towards More Sophisticated Static Analysis Methods of Python Programs. (2019) Megjelent: 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings pp. 144-149", "template" : "