{"id":"https://openalex.org/W3135341794","doi":"https://doi.org/10.18420/se2021_27","title":"Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs","display_name":"Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3135341794","doi":"https://doi.org/10.18420/se2021_27","mag":"3135341794"},"language":"en","primary_location":{"id":"doi:10.18420/se2021_27","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2021_27","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/se2021_27","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027343585","display_name":"Malte Mues","orcid":"https://orcid.org/0000-0002-6291-9886"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mues, Malte","raw_affiliation_strings":["Dortmund University of Technology, Dortmund, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dortmund University of Technology, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091448242","display_name":"Till Schallau","orcid":"https://orcid.org/0000-0002-1769-3486"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Schallau, Till","raw_affiliation_strings":["Dortmund University of Technology, Dortmund, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dortmund University of Technology, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037058130","display_name":"Falk Howar","orcid":"https://orcid.org/0000-0002-9524-4459"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Howar, Falk","raw_affiliation_strings":["Dortmund University of Technology, Dortmund, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dortmund University of Technology, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":null,"apc_paid":null,"fwci":0.2721,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.70330036,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9972000122070312,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9972000122070312,"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/T10734","display_name":"Information and Cyber Security","score":0.9951000213623047,"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.9922000169754028,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.884069561958313},{"id":"https://openalex.org/keywords/taint-checking","display_name":"Taint checking","score":0.8131722211837769},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6957423686981201},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5683135986328125},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.523786187171936},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5169519782066345},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.47094547748565674},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4694375991821289},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4517936706542969},{"id":"https://openalex.org/keywords/perl","display_name":"Perl","score":0.4156333804130554},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.36970147490501404},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11155658960342407}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.884069561958313},{"id":"https://openalex.org/C63116202","wikidata":"https://www.wikidata.org/wiki/Q7676227","display_name":"Taint checking","level":3,"score":0.8131722211837769},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6957423686981201},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5683135986328125},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.523786187171936},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5169519782066345},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.47094547748565674},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4694375991821289},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4517936706542969},{"id":"https://openalex.org/C2777002779","wikidata":"https://www.wikidata.org/wiki/Q42478","display_name":"Perl","level":2,"score":0.4156333804130554},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.36970147490501404},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11155658960342407},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18420/se2021_27","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2021_27","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.18420/se2021_27","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2021_27","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","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":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3104309163","https://openalex.org/W2383361534","https://openalex.org/W2392938416","https://openalex.org/W2514041296","https://openalex.org/W3144105599","https://openalex.org/W2063408151","https://openalex.org/W3155053542","https://openalex.org/W2060629665","https://openalex.org/W2006157189","https://openalex.org/W3165952571","https://openalex.org/W2953940813","https://openalex.org/W2057096895","https://openalex.org/W36438514","https://openalex.org/W2164699111","https://openalex.org/W2061640969","https://openalex.org/W2276553796","https://openalex.org/W2777587568","https://openalex.org/W3015326774","https://openalex.org/W3090362160","https://openalex.org/W3125607634"],"abstract_inverted_index":{"We":[0,85],"summarize":[1],"the":[2,21,73,79,87,90,118,137,162],"paper":[3,123],"\"Jaint:":[4],"A":[5],"Framework":[6],"for":[7,36,46,101,129],"User-Defined":[8],"Dynamic":[9,13],"Taint-Analyses":[10],"Based":[11],"on":[12,25,94,117],"Symbolic":[14],"Execution":[15],"of":[16,39,69,75,82,152],"Java":[17,40,70,102],"Programs\",":[18],"published":[19],"at":[20],"sixteenth":[22],"international":[23],"conference":[24],"integrated":[26],"formal":[27],"methods":[28,35],"in":[29,89,143],"November":[30],"2020.":[31],"Reliable":[32],"and":[33,64,104,111,139,147,161],"scalable":[34],"security":[37,57],"analyses":[38,131],"applications":[41],"are":[42],"an":[43],"important":[44],"enabler":[45],"a":[47,56,96,126],"secure":[48],"digital":[49],"infrastructure.":[50],"In":[51],"this":[52],"paper,":[53],"we":[54],"present":[55],"analysis":[58,68,77],"that":[59,132],"integrates":[60],"dynamic":[61,65,76,97],"symbolic":[62,83,98],"execution":[63,99],"multi-colored":[66],"taint":[67,130],"programs,":[71],"combining":[72],"precision":[74,110],"with":[78],"exhaustive":[80],"exploration":[81],"execution.":[84],"implement":[86],"approach":[88],"Jaint":[91],"tool,":[92],"based":[93],"Jdart,":[95],"engine":[100],"PathFinder,":[103],"evaluate":[105],"its":[106],"performance":[107],"by":[108],"comparing":[109],"runtimes":[112],"to":[113],"other":[114],"research":[115],"tools":[116,146],"OWASP":[119],"benchmark":[120],"set.":[121],"The":[122],"also":[124],"presents":[125,158],"domain-specific":[127],"language":[128,160],"is":[133],"more":[134],"expressive":[135],"than":[136],"source":[138],"sink":[140],"specifications":[141],"found":[142],"publicly":[144],"available":[145],"enables":[148],"precise,":[149],"CWE-specific":[150],"specification":[151],"undesired":[153],"data":[154],"flows.":[155],"This":[156],"summary":[157],"Jaint\u2019s":[159],"evaluation.":[163]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2021-03-15T00:00:00"}