{"id":"https://openalex.org/W32893482","doi":null,"title":"Applying Static Analysis for Detecting Null Pointers in Java Programs","display_name":"Applying Static Analysis for Detecting Null Pointers in Java Programs","publication_year":null,"publication_date":null,"ids":{"openalex":"https://openalex.org/W32893482","mag":"32893482"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.11.5118","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.5118","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://venus.cs.depaul.edu/xjia/isas1999.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Xiaoping Jia","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I118353179","display_name":"DePaul University","ror":"https://ror.org/04xtx5t16","country_code":"US","type":"education","lineage":["https://openalex.org/I118353179"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaoping Jia","raw_affiliation_strings":["*DePaul University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"*DePaul University","institution_ids":["https://openalex.org/I118353179"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sushant Sawant","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1342911587","display_name":"Oracle (United States)","ror":"https://ror.org/006c77m33","country_code":"US","type":"company","lineage":["https://openalex.org/I1342911587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sushant Sawant","raw_affiliation_strings":["[\u2020Oracle Corporation]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"[\u2020Oracle Corporation]","institution_ids":["https://openalex.org/I1342911587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066066239","display_name":"Jiayi Zhou","orcid":"https://orcid.org/0009-0003-9845-6996","observed_orcids":["https://orcid.org/0009-0003-9845-6996"]},"institutions":[{"id":"https://openalex.org/I118353179","display_name":"DePaul University","ror":"https://ror.org/04xtx5t16","country_code":"US","type":"education","lineage":["https://openalex.org/I118353179"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiangyu Zhou","raw_affiliation_strings":["*DePaul University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"*DePaul University","institution_ids":["https://openalex.org/I118353179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055547946","display_name":"Sotiris Skevoulis","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I118353179","display_name":"DePaul University","ror":"https://ror.org/04xtx5t16","country_code":"US","type":"education","lineage":["https://openalex.org/I118353179"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sotiris Skevoulis","raw_affiliation_strings":["*DePaul University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"*DePaul University","institution_ids":["https://openalex.org/I118353179"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9282000064849854,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9282000064849854,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.06849999725818634,"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/T10142","display_name":"Formal Methods in Verification","score":0.002099999925121665,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/static-analysis","display_name":"static analysis","score":0.7860000133514404},{"id":"https://openalex.org/keywords/java-programs","display_name":"Java programs","score":0.8980000019073486},{"id":"https://openalex.org/keywords/theorem-proving","display_name":"theorem proving","score":0.847000002861023},{"id":"https://openalex.org/keywords/runtime-errors","display_name":"runtime errors","score":0.6819999814033508},{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.7480000257492065}],"concepts":[{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.8027123212814331},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7902644276618958},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7122900485992432},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6727187633514404},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6527673006057739},{"id":"https://openalex.org/C203763787","wikidata":"https://www.wikidata.org/wiki/Q371029","display_name":"Null (SQL)","level":2,"score":0.5951626300811768},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5789206624031067},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.49881863594055176},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.49401718378067017},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.46307575702667236},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4528995752334595},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40389376878738403},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.21226632595062256},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.19050538539886475},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18300119042396545}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.11.5118","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.5118","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://venus.cs.depaul.edu/xjia/isas1999.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W136527485","https://openalex.org/W1487686959","https://openalex.org/W1545230025","https://openalex.org/W1568123054","https://openalex.org/W1604147565","https://openalex.org/W1605464594","https://openalex.org/W1679306079","https://openalex.org/W2043100293","https://openalex.org/W2070485163","https://openalex.org/W2102389857","https://openalex.org/W2132302503","https://openalex.org/W2147543351","https://openalex.org/W2158024480","https://openalex.org/W2161825580","https://openalex.org/W3146075203"],"related_works":["https://openalex.org/W4247981256","https://openalex.org/W2007425955","https://openalex.org/W2002187504","https://openalex.org/W2380149654","https://openalex.org/W2088238746","https://openalex.org/W2373121256","https://openalex.org/W6986689371","https://openalex.org/W7097131421","https://openalex.org/W7096679718","https://openalex.org/W7098820002"],"abstract_inverted_index":{"The":[0,52],"detection":[1],"of":[2,49,54,79,82,89],"bugs":[3,15],"in":[4],"software":[5],"has":[6],"been":[7],"a":[8,37,45,72],"difficult":[9],"and":[10],"time-consuming":[11],"manual":[12],"task.":[13],"Some":[14],"are":[16,64],"hard":[17],"to":[18,58],"find":[19],"as":[20,30],"they":[21],"manifest":[22],"themselves":[23],"far":[24],"from":[25],"the":[26],"actual":[27],"errors":[28,62,91],"such":[29,50],"dereferencing":[31],"null-pointer.":[32],"To":[33],"avoid":[34],"these":[35],"bugs,":[36],"useful":[38],"static":[39,55,80],"program":[40,46],"analysis":[41,56,81],"tool":[42],"would":[43],"inspect":[44],"for":[47],"presence":[48],"errors.":[51],"goal":[53],"is":[57,75],"detect":[59],"common":[60,90],"run-time":[61],"that":[63,85],"not":[65],"detected":[66],"by":[67],"compilers.":[68],"This":[69],"paper":[70],"presents":[71],"method":[73],"which":[74],"theorem":[76],"prover":[77],"based":[78],"Java":[83],"programs":[84],"detects":[86],"some":[87],"categories":[88],"including":[92],"null":[93],"pointer":[94],"violation.":[95]},"counts_by_year":[{"year":2017,"cited_by_count":2}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2025-10-27T00:00:00"}