{"id":"https://openalex.org/W2362847699","doi":null,"title":"Detecting Integer Bugs Based on Static and Dynamic Program Analysis","display_name":"Detecting Integer Bugs Based on Static and Dynamic Program Analysis","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2362847699","mag":"2362847699"},"language":"en","primary_location":{"id":"mag:2362847699","doi":null,"is_oa":false,"landing_page_url":"http://en.cnki.com.cn/Article_en/CJFDTOTAL-DZXU201008002.htm","pdf_url":null,"source":{"id":"https://openalex.org/S4306500319","display_name":"Dianzi xuebao","issn_l":"0372-2112","issn":["0372-2112"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","poland-40","russia-white-list-3"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Dianzi xuebao","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5100365450","display_name":"Xie Li","orcid":"https://orcid.org/0000-0002-1613-7891","observed_orcids":["https://orcid.org/0000-0002-1613-7891"]},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xie Li","raw_affiliation_strings":["College of Information Engineering,Yangzhou University,Yangzhou,Jiangsu 225009,China"],"raw_orcid":"https://orcid.org/0000-0002-8307-4640","affiliations":[{"raw_affiliation_string":"College of Information Engineering,Yangzhou University,Yangzhou,Jiangsu 225009,China","institution_ids":["https://openalex.org/I78978612"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100365450"],"corresponding_institution_ids":["https://openalex.org/I78978612"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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/T11424","display_name":"Security and Verification in Computing","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10260","display_name":"Software Engineering Research","score":9.999999747378752e-05,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.7710000276565552},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.8790000081062317},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"dynamic program analysis","score":0.9900000095367432},{"id":"https://openalex.org/keywords/binary-decompilation","display_name":"binary decompilation","score":0.9760000109672546},{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.7039999961853027},{"id":"https://openalex.org/keywords/type-information","display_name":"type information","score":0.7269999980926514},{"id":"https://openalex.org/keywords/false-positive-results","display_name":"false positives","score":0.5149999856948853}],"concepts":[{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.8520662188529968},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.7857958674430847},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7427182793617249},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.73540860414505},{"id":"https://openalex.org/C112789634","wikidata":"https://www.wikidata.org/wiki/Q18207010","display_name":"False positives and false negatives","level":3,"score":0.5872116684913635},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5868188738822937},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5247809290885925},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.4820447862148285},{"id":"https://openalex.org/C2778223634","wikidata":"https://www.wikidata.org/wiki/Q224952","display_name":"Suspect","level":2,"score":0.4756062626838684},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.42971259355545044},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3954697549343109},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37490224838256836},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.24472859501838684},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.17531681060791016},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2362847699","doi":null,"is_oa":false,"landing_page_url":"http://en.cnki.com.cn/Article_en/CJFDTOTAL-DZXU201008002.htm","pdf_url":null,"source":{"id":"https://openalex.org/S4306500319","display_name":"Dianzi xuebao","issn_l":"0372-2112","issn":["0372-2112"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","poland-40","russia-white-list-3"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Dianzi xuebao","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1530478935","https://openalex.org/W1506510492","https://openalex.org/W2163010250","https://openalex.org/W2363669105","https://openalex.org/W1904404804","https://openalex.org/W226699034","https://openalex.org/W4213177365","https://openalex.org/W1558425096","https://openalex.org/W1588398995","https://openalex.org/W3111557759"],"abstract_inverted_index":{"In":[0],"recent":[1],"years,Integer":[2],"bugs":[3,109],"have":[4],"been":[5],"rising":[6],"sharply":[7],"and":[8,38,49,65,86,120],"become":[9],"a":[10,24,47],"potential":[11],"threat":[12],"as":[13],"it":[14],"is":[15],"often":[16],"hidden":[17],"behind":[18],"other":[19],"bugs.In":[20],"this":[21],"paper,we":[22],"propose":[23],"tool":[25,34,45,79,103,115],"which":[26,73,94],"can":[27,104],"automatically":[28],"detect":[29,72,106],"Integer":[30,77,108],"bugs.We":[31],"implement":[32],"the":[33,42,51,55,59,62,67,92,107],"based":[35],"on":[36],"static":[37,43],"dynamic":[39,56],"program":[40],"analysis.In":[41],"phase,the":[44],"decompiles":[46],"binary":[48],"creates":[50],"suspect":[52,63],"instruction":[53],"set.In":[54],"phase,it":[57],"monitors":[58],"instructions":[60,74,93],"in":[61,110],"set":[64],"generates":[66],"test":[68],"cases":[69],"to":[70],"further":[71],"are":[75,95],"real":[76],"bugs.Our":[78],"has":[80,116],"two":[81],"advantages.First,it":[82],"provides":[83],"more":[84],"accurate":[85],"sufficient":[87],"type":[88],"information.Second,static":[89],"analysis":[90],"reduces":[91],"monitored":[96],"at":[97],"runtime.Experimental":[98],"results":[99],"shows":[100],"that":[101],"our":[102],"efficiently":[105],"several":[111],"real-world":[112],"programs.In":[113],"addition,our":[114],"no":[117],"false":[118,122],"negatives":[119],"low":[121],"positives.":[123]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-09-21T07:43:02.447757","created_date":"2016-06-24T00:00:00"}