{"id":"https://openalex.org/W3200827252","doi":"https://doi.org/10.1145/3487019.3487022","title":"Static Analysis at GitHub","display_name":"Static Analysis at GitHub","publication_year":2021,"publication_date":"2021-08-31","ids":{"openalex":"https://openalex.org/W3200827252","doi":"https://doi.org/10.1145/3487019.3487022","mag":"3200827252"},"language":"en","primary_location":{"id":"doi:10.1145/3487019.3487022","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3487019.3487022","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3487019.3487022","source":{"id":"https://openalex.org/S45584542","display_name":"Queue","issn_l":"1542-7730","issn":["1542-7730","1542-7749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Queue","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3487019.3487022","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075445336","display_name":"Timothy Clem","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Timothy Clem","raw_affiliation_strings":["GitHub Inc"],"affiliations":[{"raw_affiliation_string":"GitHub Inc","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054656021","display_name":"Patrick Thomson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patrick Thomson","raw_affiliation_strings":["GitHub Inc"],"affiliations":[{"raw_affiliation_string":"GitHub Inc","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075445336"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9279,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.88826143,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"19","issue":"4","first_page":"42","last_page":"67"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9993000030517578,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9918000102043152,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.871469259262085},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6892298460006714},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.6534606218338013},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5932252407073975},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5751168727874756},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.4530699551105499},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4525158405303955},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4423184394836426},{"id":"https://openalex.org/keywords/reading","display_name":"Reading (process)","score":0.4328622817993164},{"id":"https://openalex.org/keywords/code-review","display_name":"Code review","score":0.41329097747802734},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3870713710784912},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32707738876342773},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.32159149646759033},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.23869973421096802},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.16045799851417542},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.06839799880981445}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.871469259262085},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6892298460006714},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.6534606218338013},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5932252407073975},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5751168727874756},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.4530699551105499},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4525158405303955},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4423184394836426},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.4328622817993164},{"id":"https://openalex.org/C150292731","wikidata":"https://www.wikidata.org/wiki/Q1342704","display_name":"Code review","level":5,"score":0.41329097747802734},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3870713710784912},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32707738876342773},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.32159149646759033},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.23869973421096802},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.16045799851417542},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.06839799880981445},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3487019.3487022","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3487019.3487022","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3487019.3487022","source":{"id":"https://openalex.org/S45584542","display_name":"Queue","issn_l":"1542-7730","issn":["1542-7730","1542-7749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Queue","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3487019.3487022","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3487019.3487022","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3487019.3487022","source":{"id":"https://openalex.org/S45584542","display_name":"Queue","issn_l":"1542-7730","issn":["1542-7730","1542-7749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Queue","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.8500000238418579,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3200827252.pdf","grobid_xml":"https://content.openalex.org/works/W3200827252.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4213243744","https://openalex.org/W4245904369","https://openalex.org/W3153702491","https://openalex.org/W4210653322","https://openalex.org/W2019168903","https://openalex.org/W2969257295","https://openalex.org/W2751940653","https://openalex.org/W2617035575","https://openalex.org/W2891085887","https://openalex.org/W2364777513"],"abstract_inverted_index":{"The":[0],"Semantic":[1],"Code":[2],"team":[3],"at":[4],"GitHub":[5,99],"builds":[6],"and":[7,31,61,104],"operates":[8],"a":[9,74],"suite":[10],"of":[11,49,94],"technologies":[12],"that":[13,22,85],"power":[14],"symbolic":[15],"code":[16,60,97,109],"navigation":[17],"on":[18,98],"github.com.":[19],"We":[20],"learned":[21],"scale":[23,40],"is":[24,37],"about":[25],"adoption,":[26],"user":[27],"behavior,":[28],"incremental":[29],"improvement,":[30],"utility.":[32],"Static":[33],"analysis":[34,51,79],"in":[35,59,92],"particular":[36],"difficult":[38],"to":[39,43,54,64,68,81,89],"with":[41,100],"respect":[42],"human":[44],"behavior;":[45],"we":[46],"often":[47],"think":[48],"complex":[50],"tools":[52],"working":[53],"find":[55],"potentially":[56],"problematic":[57],"patterns":[58],"then":[62],"trying":[63],"convince":[65],"the":[66],"humans":[67],"fix":[69],"them.":[70],"Our":[71],"approach":[72],"took":[73],"different":[75],"tack:":[76],"use":[77],"basic":[78],"techniques":[80],"quickly":[82],"put":[83],"information":[84],"augments":[86],"our":[87],"ability":[88],"understand":[90],"programs":[91],"front":[93],"everyone":[95],"reading":[96],"zero":[101],"configuration":[102],"required":[103],"almost":[105],"immediate":[106],"availability":[107],"after":[108],"changes.":[110]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}