{"id":"https://openalex.org/W4308643059","doi":"https://doi.org/10.1145/3540250.3558923","title":"SolSEE: a source-level symbolic execution engine for solidity","display_name":"SolSEE: a source-level symbolic execution engine for solidity","publication_year":2022,"publication_date":"2022-11-07","ids":{"openalex":"https://openalex.org/W4308643059","doi":"https://doi.org/10.1145/3540250.3558923"},"language":"en","primary_location":{"id":"doi:10.1145/3540250.3558923","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3540250.3558923","pdf_url":null,"source":{"id":"https://openalex.org/S4363608883","display_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","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/A5072863865","display_name":"Shang\u2010Wei Lin","orcid":"https://orcid.org/0000-0002-9726-3434"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Shang-Wei Lin","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023671749","display_name":"Palina Tolmach","orcid":"https://orcid.org/0000-0003-1389-6814"},"institutions":[{"id":"https://openalex.org/I115228651","display_name":"Agency for Science, Technology and Research","ror":"https://ror.org/036wvzt09","country_code":"SG","type":"government","lineage":["https://openalex.org/I115228651"]},{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Palina Tolmach","raw_affiliation_strings":["Nanyang Technological University, Singapore / IHPC at A*STAR, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore / IHPC at A*STAR, Singapore","institution_ids":["https://openalex.org/I172675005","https://openalex.org/I115228651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100346528","display_name":"Ye Liu","orcid":"https://orcid.org/0000-0001-6709-3721"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Ye Liu","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100421812","display_name":"Yi Li","orcid":"https://orcid.org/0000-0003-4562-8208"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yi Li","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7466,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.87489277,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1687","last_page":"1691"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9994999766349792,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9966999888420105,"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/solidity","display_name":"Solidity","score":0.9145493507385254},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8397881388664246},{"id":"https://openalex.org/keywords/bytecode","display_name":"Bytecode","score":0.680082380771637},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6483080387115479},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5896859169006348},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5731469988822937},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5653545260429382},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.560580849647522},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.4895497262477875},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4770350158214569},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.4664461314678192},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.45066606998443604},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4436369240283966},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3412930369377136},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3345813751220703},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.2461962103843689},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.19659411907196045},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14702418446540833},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13703185319900513}],"concepts":[{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.9145493507385254},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8397881388664246},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.680082380771637},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6483080387115479},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5896859169006348},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5731469988822937},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5653545260429382},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.560580849647522},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.4895497262477875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4770350158214569},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.4664461314678192},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.45066606998443604},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4436369240283966},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3412930369377136},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3345813751220703},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.2461962103843689},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.19659411907196045},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14702418446540833},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13703185319900513},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3540250.3558923","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3540250.3558923","pdf_url":null,"source":{"id":"https://openalex.org/S4363608883","display_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4755198475","display_name":null,"funder_award_id":"NRF2018NCR-NSOE004-0001","funder_id":"https://openalex.org/F4320320671","funder_display_name":"National Research Foundation"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1616264825","https://openalex.org/W2487425287","https://openalex.org/W2539190473","https://openalex.org/W2757602305","https://openalex.org/W2767382859","https://openalex.org/W2963610883","https://openalex.org/W2963723316","https://openalex.org/W2971186139","https://openalex.org/W2974196887","https://openalex.org/W2999378142","https://openalex.org/W3015405072","https://openalex.org/W3155016995","https://openalex.org/W3186717497","https://openalex.org/W3215711835","https://openalex.org/W4206712151"],"related_works":["https://openalex.org/W2960127789","https://openalex.org/W2966120688","https://openalex.org/W2979162004","https://openalex.org/W4285068968","https://openalex.org/W2996320455","https://openalex.org/W2170708539","https://openalex.org/W2406445318","https://openalex.org/W4226144303","https://openalex.org/W3014982827","https://openalex.org/W2395048784"],"abstract_inverted_index":{"Most":[0],"of":[1,57],"the":[2,35,55,82],"existing":[3,77],"smart":[4,51],"contract":[5],"symbolic":[6,46],"execution":[7,47],"tools":[8,80],"perform":[9],"analysis":[10,25,79,90],"on":[11],"bytecode,":[12],"which":[13],"loses":[14],"high-level":[15],"semantic":[16],"information":[17],"presented":[18],"in":[19,81],"source":[20],"code.":[21],"This":[22],"makes":[23],"interactive":[24],"tasks\u2014such":[26],"as":[27],"visualization":[28],"and":[29,32,63,89],"debugging\u2014extremely":[30],"challenging,":[31],"significantly":[33],"limits":[34],"tool":[36],"usability.":[37],"In":[38],"this":[39],"paper,":[40],"we":[41],"present":[42],"SolSEE,":[43,58],"a":[44,68],"source-level":[45,78],"engine":[48],"for":[49],"Solidity":[50,84],"contracts.":[52],"We":[53],"describe":[54],"design":[56],"highlight":[59],"its":[60,65],"key":[61],"features,":[62],"demonstrate":[64],"usages":[66],"through":[67],"Web-based":[69],"user":[70],"interface.":[71],"SolSEE":[72],"demonstrates":[73],"advantages":[74],"over":[75],"other":[76],"advanced":[83],"language":[85],"features":[86],"it":[87],"supports":[88],"flexibility.":[91],"A":[92],"demonstration":[93],"video":[94],"is":[95],"available":[96],"at:":[97],"https://sites.google.com/view/solsee/.":[98]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}