{"id":"https://openalex.org/W2039173453","doi":"https://doi.org/10.1145/2491411.2494598","title":"Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript","display_name":"Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript","publication_year":2013,"publication_date":"2013-08-18","ids":{"openalex":"https://openalex.org/W2039173453","doi":"https://doi.org/10.1145/2491411.2494598","mag":"2039173453"},"language":"en","primary_location":{"id":"doi:10.1145/2491411.2494598","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491411.2494598","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 9th Joint Meeting on 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/A5101569699","display_name":"Koushik Sen","orcid":"https://orcid.org/0000-0002-4539-9188"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]},{"id":"https://openalex.org/I134446601","display_name":"Berkeley College","ror":"https://ror.org/02xewxa75","country_code":"US","type":"education","lineage":["https://openalex.org/I134446601"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Koushik Sen","raw_affiliation_strings":["UC Berkeley, USA","UC Berkeley, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, USA","institution_ids":["https://openalex.org/I134446601","https://openalex.org/I95457486"]},{"raw_affiliation_string":"UC Berkeley, USA#TAB#","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081885074","display_name":"Swaroop Kalasapur","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101778","display_name":"Samsung (United States)","ror":"https://ror.org/01bfbvm65","country_code":"US","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210101778"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Swaroop Kalasapur","raw_affiliation_strings":["Samsung Research, USA"],"affiliations":[{"raw_affiliation_string":"Samsung Research, USA","institution_ids":["https://openalex.org/I4210101778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062774191","display_name":"Tasneem Brutch","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101778","display_name":"Samsung (United States)","ror":"https://ror.org/01bfbvm65","country_code":"US","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210101778"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tasneem Brutch","raw_affiliation_strings":["Samsung Research, USA"],"affiliations":[{"raw_affiliation_string":"Samsung Research, USA","institution_ids":["https://openalex.org/I4210101778"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113540975","display_name":"Simon Gibbs","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101778","display_name":"Samsung (United States)","ror":"https://ror.org/01bfbvm65","country_code":"US","type":"company","lineage":["https://openalex.org/I2250650973","https://openalex.org/I4210101778"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Simon Gibbs","raw_affiliation_strings":["Samsung Research, USA"],"affiliations":[{"raw_affiliation_string":"Samsung Research, USA","institution_ids":["https://openalex.org/I4210101778"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101569699"],"corresponding_institution_ids":["https://openalex.org/I134446601","https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":0.486,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.69033989,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"615","last_page":"618"},"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.9998000264167786,"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.9998000264167786,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9990000128746033,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9986000061035156,"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/javascript","display_name":"JavaScript","score":0.8838495016098022},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.8547241687774658},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8349395990371704},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6089729070663452},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.569286584854126},{"id":"https://openalex.org/keywords/taint-checking","display_name":"Taint checking","score":0.5062071681022644},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.46546199917793274},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.45140206813812256},{"id":"https://openalex.org/keywords/just-in-time-compilation","display_name":"Just-in-time compilation","score":0.4490929841995239},{"id":"https://openalex.org/keywords/unobtrusive-javascript","display_name":"Unobtrusive JavaScript","score":0.4338664412498474},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.40619081258773804},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36956146359443665},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.3493729829788208},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2800968885421753},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.2506735920906067},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15326502919197083},{"id":"https://openalex.org/keywords/rich-internet-application","display_name":"Rich Internet application","score":0.09247732162475586}],"concepts":[{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.8838495016098022},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.8547241687774658},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8349395990371704},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6089729070663452},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.569286584854126},{"id":"https://openalex.org/C63116202","wikidata":"https://www.wikidata.org/wiki/Q7676227","display_name":"Taint checking","level":3,"score":0.5062071681022644},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.46546199917793274},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.45140206813812256},{"id":"https://openalex.org/C76782552","wikidata":"https://www.wikidata.org/wiki/Q110546","display_name":"Just-in-time compilation","level":3,"score":0.4490929841995239},{"id":"https://openalex.org/C198240166","wikidata":"https://www.wikidata.org/wiki/Q2298909","display_name":"Unobtrusive JavaScript","level":4,"score":0.4338664412498474},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.40619081258773804},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36956146359443665},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3493729829788208},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2800968885421753},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2506735920906067},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15326502919197083},{"id":"https://openalex.org/C103048170","wikidata":"https://www.wikidata.org/wiki/Q725485","display_name":"Rich Internet application","level":3,"score":0.09247732162475586},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"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.1145/2491411.2494598","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491411.2494598","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1987647365","https://openalex.org/W2009489720","https://openalex.org/W2096449544","https://openalex.org/W2102970979","https://openalex.org/W2144551802","https://openalex.org/W2144621365","https://openalex.org/W2150650310","https://openalex.org/W2193288339","https://openalex.org/W4237492309"],"related_works":["https://openalex.org/W2066905287","https://openalex.org/W4238858627","https://openalex.org/W2731683699","https://openalex.org/W2141593228","https://openalex.org/W4366451129","https://openalex.org/W2058510542","https://openalex.org/W120774220","https://openalex.org/W1993825090","https://openalex.org/W2589301260","https://openalex.org/W2900659796"],"abstract_inverted_index":{"We":[0],"describe":[1],"a":[2,40,50],"tool":[3],"framework,":[4],"called":[5],"Jalangi,":[6],"for":[7,30,137,145],"dynamic":[8,28,69],"analysis":[9],"and":[10,22,46,56,60,75,107,123,128,143],"concolic":[11,73],"testing":[12,74],"of":[13,25,53,67,100,119],"JavaScript":[14,21],"programs.":[15],"The":[16,130],"framework":[17],"is":[18,90],"written":[19],"in":[20],"allows":[23],"implementation":[24,66],"various":[26],"heavy-weight":[27,68],"analyses":[29,70],"JavaScript.":[31],"Jalangi":[32,78,89,101,114],"incorporates":[33],"two":[34],"key":[35],"techniques:":[36],"1)":[37],"selective":[38],"record-replay,":[39],"technique":[41],"which":[42,63,83],"enables":[43,64],"to":[44,47],"record":[45],"faithfully":[48],"replay":[49,127],"user-selected":[51],"part":[52],"the":[54,103],"program,":[55],"2)":[57],"shadow":[58,61],"values":[59],"execution,":[62],"easy":[65],"such":[71,140],"as":[72,141],"taint":[76],"tracking.":[77],"works":[79],"through":[80],"source-code":[81],"instrumentation":[82],"makes":[84],"it":[85],"portable":[86],"across":[87],"platforms.":[88],"available":[91],"at":[92],"https://github.com/SRA-SiliconValley/jalangi":[93],"under":[94],"Apache":[95],"2.0":[96],"license.":[97],"Our":[98],"evaluation":[99],"on":[102,108],"SunSpider":[104],"benchmark":[105],"suite":[106],"five":[109],"web":[110],"applications":[111],"shows":[112],"that":[113],"has":[115],"an":[116],"average":[117],"slowdown":[118,125],"26X":[120],"during":[121,126],"recording":[122],"30X":[124],"analysis.":[129],"slowdowns":[131,135],"are":[132],"comparable":[133],"with":[134],"reported":[136],"similar":[138],"tools,":[139],"PIN":[142],"Valgrind":[144],"x86":[146],"binaries.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}