{"id":"https://openalex.org/W2547390950","doi":"https://doi.org/10.1145/2950290.2950335","title":"Extracting instruction semantics via symbolic execution of code generators","display_name":"Extracting instruction semantics via symbolic execution of code generators","publication_year":2016,"publication_date":"2016-11-01","ids":{"openalex":"https://openalex.org/W2547390950","doi":"https://doi.org/10.1145/2950290.2950335","mag":"2547390950"},"language":"en","primary_location":{"id":"doi:10.1145/2950290.2950335","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2950290.2950335","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2950335&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2950335&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071259938","display_name":"Niranjan Hasabnis","orcid":"https://orcid.org/0009-0004-4010-7213"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Niranjan Hasabnis","raw_affiliation_strings":["Intel, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102886132","display_name":"R. Sekar","orcid":"https://orcid.org/0009-0008-9135-3296"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Sekar","raw_affiliation_strings":["Stony Brook University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stony Brook University, USA","institution_ids":["https://openalex.org/I59553526"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.8878,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.93972465,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"301","last_page":"313"},"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.9997000098228455,"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.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.8966562747955322},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.779351532459259},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7498533725738525},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7123122811317444},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5700342655181885},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5344203114509583},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4973290264606476},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4799502193927765},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.44843217730522156},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.4347148537635803},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4257625937461853},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.33417046070098877},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.21702700853347778},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.165029376745224}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8966562747955322},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.779351532459259},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7498533725738525},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7123122811317444},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5700342655181885},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5344203114509583},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4973290264606476},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4799502193927765},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.44843217730522156},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.4347148537635803},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4257625937461853},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.33417046070098877},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.21702700853347778},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.165029376745224},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2950290.2950335","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2950290.2950335","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2950335&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2950290.2950335","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2950290.2950335","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2950335&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4911320805","display_name":null,"funder_award_id":"N00014-15-1-2378","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7268679954","display_name":null,"funder_award_id":"CNS-1319137","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8798836806","display_name":"TWC: Small: A platform for enhancing security of binary code","funder_award_id":"1319137","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320331904","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2547390950.pdf","grobid_xml":"https://content.openalex.org/works/W2547390950.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W11070830","https://openalex.org/W17195072","https://openalex.org/W121694790","https://openalex.org/W157156687","https://openalex.org/W197136832","https://openalex.org/W208073541","https://openalex.org/W1496222301","https://openalex.org/W1522250664","https://openalex.org/W1538230433","https://openalex.org/W1568194905","https://openalex.org/W1710734607","https://openalex.org/W1823377586","https://openalex.org/W1879312793","https://openalex.org/W2009489720","https://openalex.org/W2014589236","https://openalex.org/W2047694629","https://openalex.org/W2054572543","https://openalex.org/W2062340141","https://openalex.org/W2066905287","https://openalex.org/W2081888787","https://openalex.org/W2093122758","https://openalex.org/W2096449544","https://openalex.org/W2102970979","https://openalex.org/W2107089133","https://openalex.org/W2110123236","https://openalex.org/W2110671168","https://openalex.org/W2113489899","https://openalex.org/W2117058582","https://openalex.org/W2117115928","https://openalex.org/W2119236311","https://openalex.org/W2119251836","https://openalex.org/W2129487583","https://openalex.org/W2131445284","https://openalex.org/W2132897303","https://openalex.org/W2133612077","https://openalex.org/W2136096788","https://openalex.org/W2138517425","https://openalex.org/W2138788987","https://openalex.org/W2144789413","https://openalex.org/W2148686658","https://openalex.org/W2151135920","https://openalex.org/W2152426072","https://openalex.org/W2155943969","https://openalex.org/W2156858199","https://openalex.org/W2159059513","https://openalex.org/W2182706522","https://openalex.org/W2328210346","https://openalex.org/W2339276203","https://openalex.org/W2350778671","https://openalex.org/W2911393547","https://openalex.org/W2911601159","https://openalex.org/W2912330988","https://openalex.org/W3023050017","https://openalex.org/W4237492309","https://openalex.org/W4239813889","https://openalex.org/W4246385123","https://openalex.org/W4285719527","https://openalex.org/W6606430823","https://openalex.org/W6629841029","https://openalex.org/W6638559843","https://openalex.org/W6654358211","https://openalex.org/W6676371574","https://openalex.org/W6677656270","https://openalex.org/W6682091879"],"related_works":["https://openalex.org/W345638404","https://openalex.org/W2623800003","https://openalex.org/W2544369712","https://openalex.org/W2006860739","https://openalex.org/W2090939166","https://openalex.org/W1972265022","https://openalex.org/W2019299443","https://openalex.org/W2751940653","https://openalex.org/W2545238856","https://openalex.org/W51612467"],"abstract_inverted_index":{"Binary":[0],"analysis":[1],"and":[2,10,17,54,97,107],"instrumentation":[3],"form":[4],"the":[5,123,129,172,177,182,191,220],"basis":[6],"of":[7,21,39,63,122,153,181,194],"many":[8,62],"tools":[9],"frameworks":[11],"for":[12,48],"software":[13],"debugging,":[14],"security":[15,40],"hardening,":[16],"monitoring.":[18],"Accurate":[19],"modeling":[20,43,78],"instruction":[22,83,143,204],"semantics":[23,84,144],"is":[24,44,87,118],"paramount":[25],"in":[26,197,219],"this":[27,76,132],"regard,":[28],"as":[29,52,95],"errors":[30,111],"can":[31,102],"lead":[32],"to":[33,74,120,141,190,201,214],"program":[34,163],"crashes,":[35],"or":[36],"worse,":[37],"bypassing":[38],"checks.":[41],"Semantic":[42],"a":[45,59,71,136,146,161,167,216],"daunting":[46],"task":[47],"modern":[49],"processors":[50],"such":[51,94],"x86":[53,203],"ARM":[55],"that":[56,86,156,165],"support":[57],"over":[58],"thousand":[60],"instructions,":[61],"them":[64],"with":[65],"complex":[66],"semantics.":[67,205],"This":[68],"paper":[69],"describes":[70],"new":[72,137],"approach":[73,81,101,170],"automate":[75],"semantic":[77],"task.":[79],"Our":[80],"leverages":[82],"knowledge":[85],"already":[88,126],"encoded":[89],"into":[90],"today's":[91],"production":[92],"compilers":[93],"GCC":[96],"LLVM.":[98],"Such":[99],"an":[100],"greatly":[103],"reduce":[104],"manual":[105,114],"effort,":[106],"more":[108],"importantly,":[109],"avoid":[110],"introduced":[112],"by":[113,128],"modeling.":[115],"Furthermore,":[116],"it":[117,188,213],"applicable":[119],"any":[121],"numerous":[124],"architectures":[125],"supported":[127],"compiler.":[130],"In":[131],"paper,":[133],"we":[134,209],"develop":[135],"symbolic":[138,154],"execution":[139,155],"technique":[140],"extract":[142,202],"from":[145],"compiler's":[147],"source":[148],"code.":[149],"Unlike":[150],"previous":[151],"applications":[152],"were":[157],"focused":[158],"on":[159],"identifying":[160],"single":[162],"path":[164],"violates":[166],"property,":[168],"our":[169],"addresses":[171],"all":[173],"paths":[174],"problem,":[175],"extracting":[176],"entire":[178],"input/output":[179],"behavior":[180],"code":[183,199],"generator.":[184],"We":[185],"have":[186,210],"applied":[187,212],"successfully":[189],"120K":[192],"lines":[193],"C-code":[195],"used":[196,218],"GCC's":[198],"generator":[200],"To":[206],"demonstrate":[207],"architecture-neutrality,":[208],"also":[211],"AVR,":[215],"processor":[217],"popular":[221],"Arduino":[222],"platform.":[223]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}