{"id":"https://openalex.org/W2134408902","doi":"https://doi.org/10.1109/scam.2015.7335424","title":"A static microcode analysis tool for programmable load drivers","display_name":"A static microcode analysis tool for programmable load drivers","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W2134408902","doi":"https://doi.org/10.1109/scam.2015.7335424","mag":"2134408902"},"language":"en","primary_location":{"id":"doi:10.1109/scam.2015.7335424","is_oa":false,"landing_page_url":"https://doi.org/10.1109/scam.2015.7335424","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM)","raw_type":"proceedings-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/A5046329510","display_name":"Luca Dariz","orcid":"https://orcid.org/0000-0002-3035-2547"},"institutions":[{"id":"https://openalex.org/I4210147067","display_name":"Institute for Agricultural and Earthmoving Machines","ror":"https://ror.org/045zphe57","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210147067","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luca Dariz","raw_affiliation_strings":["Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Ferrara, Italy","Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Via Canal Bianco 28, 44124, Ferrara, Italy"],"affiliations":[{"raw_affiliation_string":"Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Ferrara, Italy","institution_ids":["https://openalex.org/I4210147067"]},{"raw_affiliation_string":"Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Via Canal Bianco 28, 44124, Ferrara, Italy","institution_ids":["https://openalex.org/I4210147067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077020739","display_name":"Massimiliano Ruggeri","orcid":"https://orcid.org/0000-0001-5731-8966"},"institutions":[{"id":"https://openalex.org/I4210147067","display_name":"Institute for Agricultural and Earthmoving Machines","ror":"https://ror.org/045zphe57","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210147067","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Massimiliano Ruggeri","raw_affiliation_strings":["Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Ferrara, Italy","Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Via Canal Bianco 28, 44124, Ferrara, Italy"],"affiliations":[{"raw_affiliation_string":"Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Ferrara, Italy","institution_ids":["https://openalex.org/I4210147067"]},{"raw_affiliation_string":"Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Via Canal Bianco 28, 44124, Ferrara, Italy","institution_ids":["https://openalex.org/I4210147067"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010713296","display_name":"Michele Selvatici","orcid":null},"institutions":[{"id":"https://openalex.org/I4210147067","display_name":"Institute for Agricultural and Earthmoving Machines","ror":"https://ror.org/045zphe57","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210147067","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Selvatici","raw_affiliation_strings":["Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Ferrara, Italy","Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Via Canal Bianco 28, 44124, Ferrara, Italy"],"affiliations":[{"raw_affiliation_string":"Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Ferrara, Italy","institution_ids":["https://openalex.org/I4210147067"]},{"raw_affiliation_string":"Institute for Agricultural and Earthmoving Machines (IMAMOTER), Italian National Council of Research (CNR), Via Canal Bianco 28, 44124, Ferrara, Italy","institution_ids":["https://openalex.org/I4210147067"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5046329510"],"corresponding_institution_ids":["https://openalex.org/I4210147067"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.08678021,"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":"265","last_page":"270"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9987000226974487,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9987000226974487,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976000189781189,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/microcode","display_name":"Microcode","score":0.9258326292037964},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.759814977645874},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.7538905143737793},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.6772228479385376},{"id":"https://openalex.org/keywords/jump","display_name":"Jump","score":0.5202880501747131},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4627779424190521},{"id":"https://openalex.org/keywords/actuator","display_name":"Actuator","score":0.4157350957393646},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3469884693622589},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33669090270996094}],"concepts":[{"id":"https://openalex.org/C22174128","wikidata":"https://www.wikidata.org/wiki/Q175869","display_name":"Microcode","level":2,"score":0.9258326292037964},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.759814977645874},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.7538905143737793},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.6772228479385376},{"id":"https://openalex.org/C2780695682","wikidata":"https://www.wikidata.org/wiki/Q4005959","display_name":"Jump","level":2,"score":0.5202880501747131},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4627779424190521},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.4157350957393646},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3469884693622589},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33669090270996094},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/scam.2015.7335424","is_oa":false,"landing_page_url":"https://doi.org/10.1109/scam.2015.7335424","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1556135754","https://openalex.org/W2027991598","https://openalex.org/W2083342911","https://openalex.org/W2111825754","https://openalex.org/W2119141229","https://openalex.org/W2146441023","https://openalex.org/W2147118954","https://openalex.org/W3138384654","https://openalex.org/W6677131968","https://openalex.org/W6903381972"],"related_works":["https://openalex.org/W2071117871","https://openalex.org/W2138385884","https://openalex.org/W2166895275","https://openalex.org/W2998775986","https://openalex.org/W157564837","https://openalex.org/W2080313875","https://openalex.org/W2011536294","https://openalex.org/W4210453401","https://openalex.org/W1724049288","https://openalex.org/W2134408902"],"abstract_inverted_index":{"The":[0],"advances":[1],"in":[2,16],"control":[3,58,81],"electronics,":[4],"with":[5],"the":[6,14,33,42,54,80,88,102],"introduction":[7],"of":[8,56,84],"programmable":[9],"load":[10],"drivers,":[11],"have":[12],"changed":[13],"way":[15],"which":[17,78],"actuators,":[18],"both":[19],"resistive":[20],"and":[21,92,97],"inductive,":[22],"such":[23],"as":[24],"electrical":[25],"motors,":[26],"injectors,":[27],"valves,":[28],"are":[29],"controlled.":[30],"However,":[31],"usually":[32],"only":[34],"programming":[35],"language":[36],"available":[37],"for":[38,48,94,109],"these":[39],"drivers":[40],"is":[41,76],"native":[43],"assembly-like":[44],"microcode":[45,89],"that,":[46],"allowing":[47],"unstructured":[49],"programing":[50],"constructs,":[51],"exposes":[52],"to":[53,66],"risk":[55],"dangerous":[57],"flow":[59,82],"paths,":[60],"like":[61],"infinite":[62,95],"loops":[63,96],"or":[64],"jumps":[65,99],"non-existent":[67],"locations.":[68],"In":[69],"this":[70],"paper":[71],"an":[72,85],"automatic":[73],"static":[74],"analyzer":[75],"presented,":[77],"reconstruct":[79],"graph":[83],"application":[86],"from":[87],"source":[90],"file":[91],"checks":[93],"undefined":[98],"caused":[100],"by":[101],"corresponding":[103],"jump":[104],"register":[105],"not":[106],"being":[107],"set":[108],"a":[110],"particular":[111],"path.":[112]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}