{"id":"https://openalex.org/W1997552233","doi":"https://doi.org/10.1134/s0361768814050041","title":"Static analyzer Svace for finding defects in a source program code","display_name":"Static analyzer Svace for finding defects in a source program code","publication_year":2014,"publication_date":"2014-09-01","ids":{"openalex":"https://openalex.org/W1997552233","doi":"https://doi.org/10.1134/s0361768814050041","mag":"1997552233"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768814050041","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768814050041","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036844034","display_name":"\u0412. \u041f. \u0418\u0432\u0430\u043d\u043d\u0438\u043a\u043e\u0432","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V. P. Ivannikov","raw_affiliation_strings":["Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065191857","display_name":"Andrey Belevantsev","orcid":"https://orcid.org/0000-0003-2817-0397"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A. A. Belevantsev","raw_affiliation_strings":["Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016025096","display_name":"Alexey Borodin","orcid":"https://orcid.org/0000-0003-3183-9821"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A. E. Borodin","raw_affiliation_strings":["Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055524068","display_name":"Valery Ignatiev","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V. N. Ignatiev","raw_affiliation_strings":["Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065038619","display_name":"Dmitry Zhurikhin","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"D. M. Zhurikhin","raw_affiliation_strings":["Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108443332","display_name":"Arutyun Avetisyan","orcid":"https://orcid.org/0000-0002-0470-9944"},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A. I. Avetisyan","raw_affiliation_strings":["Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, ul. A. Solzhenitsyna 25, Moscow, 109004, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Institute for Systems Programming, Russian Academy of Sciences, Moscow, Russia 109004#TAB#","institution_ids":["https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2815,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.9274345,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"40","issue":"5","first_page":"265","last_page":"275"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7627677917480469},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.70676589012146},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.6668258905410767},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6103978753089905},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5918266773223877},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5831073522567749},{"id":"https://openalex.org/keywords/simplicity","display_name":"Simplicity","score":0.5762925744056702},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5315945744514465},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.5011897087097168},{"id":"https://openalex.org/keywords/spectrum-analyzer","display_name":"Spectrum analyzer","score":0.49607428908348083},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4646676480770111},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4531087279319763},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3657705783843994},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.24219480156898499},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1876165270805359},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.11047843098640442},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10761216282844543},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07735052704811096},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.0719950795173645}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7627677917480469},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.70676589012146},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.6668258905410767},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6103978753089905},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5918266773223877},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5831073522567749},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.5762925744056702},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5315945744514465},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.5011897087097168},{"id":"https://openalex.org/C158007255","wikidata":"https://www.wikidata.org/wiki/Q1055222","display_name":"Spectrum analyzer","level":2,"score":0.49607428908348083},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4646676480770111},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4531087279319763},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3657705783843994},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.24219480156898499},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1876165270805359},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.11047843098640442},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10761216282844543},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07735052704811096},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0719950795173645},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768814050041","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768814050041","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1530443667","https://openalex.org/W2122751766"],"related_works":["https://openalex.org/W4297908618","https://openalex.org/W2765641823","https://openalex.org/W2985048382","https://openalex.org/W2867457158","https://openalex.org/W2354385412","https://openalex.org/W3111646971","https://openalex.org/W1277328974","https://openalex.org/W3186878187","https://openalex.org/W2964175311","https://openalex.org/W3134609580"],"abstract_inverted_index":{"This":[0,21],"paper":[1],"describes":[2],"Svace,":[3],"a":[4],"tool":[5,22,45],"for":[6,14],"static":[7],"program":[8,34],"analysis":[9,70],"developed":[10],"at":[11],"the":[12,32,44],"Institute":[13],"Systems":[15],"Programming,":[16],"Russian":[17],"Academy":[18],"of":[19,43,48,52,55,61,63,69,72],"Sciences.":[20],"allows":[23],"one":[24],"to":[25,59],"find":[26],"defects":[27],"and":[28,66],"potential":[29],"vulnerabilities":[30],"in":[31,37],"source":[33],"code":[35,64],"written":[36],"C/C++":[38],"languages.":[39],"The":[40],"main":[41],"features":[42],"are":[46],"simplicity":[47],"use,":[49],"wide":[50],"variety":[51],"supported":[53],"types":[54],"warnings,":[56],"scalability":[57],"up":[58],"programs":[60],"millions":[62],"lines,":[65],"acceptable":[67],"quality":[68],"(30\u201380%":[71],"true":[73],"positive":[74],"warnings).":[75]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":10},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}