[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_262":263},"routes/_layout",{"_11":189},"routes/entity.$type.$id",{"_11":12,"_13":14,"_15":16,"_17":18,"_19":20,"_21":22,"_23":24,"_25":26,"_27":28},"dehydratedState",{"_72":73,"_74":75},"type","paper","id","paper_W2082000355","section","articles","entity",{"_15":16,"_29":30,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":38,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":47,"_48":-5,"_49":50,"_51":30,"_52":53,"_54":55,"_56":57,"_58":-5,"_59":60,"_61":-5,"_62":63,"_64":-5,"_65":66,"_67":30,"_68":-5},"canonical","https://www.hugmap.com/entity/paper/paper_W2082000355/articles","siteBaseUrl","https://www.hugmap.com","sectionCount",0,"jsonLd","{\"@context\":\"https://schema.org\",\"@graph\":[{\"name\":\"The S LAM project\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W2082000355/articles\",\"@type\":\"ScholarlyArticle\",\"headline\":\"The S LAM project\",\"datePublished\":\"2002-01-01\"},{\"@type\":\"CollectionPage\",\"name\":\"The S LAM project 相关文章\",\"description\":\"The S LAM project 在 HugMap 中的相关文章，含结构化关联信息与详情链接。\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W2082000355/articles\",\"inLanguage\":\"zh-CN\"},{\"@type\":\"BreadcrumbList\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"首页\",\"item\":\"https://www.hugmap.com/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"论文\",\"item\":\"https://www.hugmap.com/search?type=paper\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"The S LAM project\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W2082000355\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"相关文章\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W2082000355/articles\"}]}]}","name","The S LAM project","nameZh","aliases","description","descriptionZh","status","active","externalIds","{\"openalex\":\"W2082000355\",\"doi\":\"10.1145/503272.503274\"}","properties","source","openalex","createdAt","2026-05-14T17:04:49.20019314","updatedAt","2026-05-21T20:24:07.190471025","doi","10.1145/503272.503274","arxivId","openalexId","W2082000355","title","abstractText","The goal of the SLAM project is to check whether or not a program obeys \"API usage rules\" that specify what it means to be a good client of an API. The SLAM toolkit statically analyzes a C program to determine whether or not it violates given usage rules. The toolkit has two unique aspects: it does not require the programmer to annotate the source program (invariants are inferred); it minimizes noise (false error messages) through a process known as \"counterexample-driven refinement\". SLAM exploits and extends results from program analysis, model checking and automated deduction. We have successfully applied the SLAM toolkit to Windows XP device drivers, to both validate behavior and find defects in their usage of kernel APIs.","publishedDate","2002-01-01","publishedYear",2002,"venue","citationCount",926,"authors","keywords",[69,70,71],"pdfUrl","topVenue",false,"displayName","displayDescription","Software Testing and Debugging Techniques","Formal Methods in Verification","Software Engineering Research","mutations",[],"queries",[76],{"_77":78,"_79":80,"_81":82,"_83":84},"dehydratedAt",1780619675679,"state",{"_86":87,"_88":89,"_90":78,"_91":-5,"_92":26,"_93":26,"_94":26,"_95":-5,"_96":-5,"_97":66,"_35":98,"_99":100},"queryKey",[85,19,14,16],"queryHash","[\"portal\",\"entity\",\"paper\",\"paper_W2082000355\"]","portal","data",{"_19":20,"_101":102,"_103":104,"_105":106,"_18":107,"_108":109,"_61":110},"dataUpdateCount",1,"dataUpdatedAt","error","errorUpdateCount","errorUpdatedAt","fetchFailureCount","fetchFailureReason","fetchMeta","isInvalidated","success","fetchStatus","idle","entityType","Paper","taxonomies",[148,149,150,151],"events",[],[],"technologies",[133],[111,112],{"_15":127,"_29":128,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":129,"_39":-5,"_40":41,"_42":130,"_44":131,"_118":132,"_51":-5,"_119":-5,"_120":-5,"_121":-5,"_59":-5,"_122":-5,"_123":-5,"_124":-5,"_125":-5,"_126":-5,"_67":128,"_68":-5},{"_15":113,"_29":114,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":115,"_39":-5,"_40":41,"_42":116,"_44":117,"_118":-5,"_51":-5,"_119":-5,"_120":-5,"_121":-5,"_59":-5,"_122":-5,"_123":-5,"_124":-5,"_125":-5,"_126":-5,"_67":114,"_68":-5},"person_A5114248503","Thomas Ball","{\"openalex\":\"A5114248503\"}","2026-05-14T17:04:49.306553419","2026-05-23T08:45:34.21325807","orcid","affiliation","researchArea","paperCount","homepage","linkedin","twitter","github","hindex","person_A5076139746","Sriram K. Rajamani","{\"openalex\":\"A5076139746\",\"orcid\":\"0000-0002-1400-7065\"}","2026-05-14T17:04:49.422805674","2026-05-23T10:30:50.212553527","0000-0002-1400-7065",{"_15":134,"_29":70,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":135,"_39":-5,"_40":136,"_42":137,"_44":138,"_139":140,"_141":142,"_143":-5,"_144":145,"_146":-5,"_121":-5,"_147":-5,"_67":70,"_68":-5},"tech_oa_T10142","{\"taxonomy_id\":\"tax_rd_T10142\"}","openalex_topics","2026-05-17T09:00:28.245609031","2026-05-17T09:00:28.245611253","techType","algorithm","domain","Physical Sciences","proposedYear","maturityLevel","growing","wikipediaUrl","patentCount",{"_15":182,"_29":183,"_31":-5,"_32":-5,"_33":184,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":188,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":183,"_68":184},{"_15":176,"_29":71,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":177,"_39":-5,"_40":41,"_42":178,"_44":179,"_156":157,"_158":-5,"_159":160,"_161":180,"_163":181,"_165":26,"_166":167,"_168":26,"_169":-5,"_67":71,"_68":-5},{"_15":170,"_29":70,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":171,"_39":-5,"_40":41,"_42":172,"_44":173,"_156":157,"_158":-5,"_159":160,"_161":174,"_163":175,"_165":26,"_166":167,"_168":26,"_169":-5,"_67":70,"_68":-5},{"_15":152,"_29":69,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":153,"_39":-5,"_40":41,"_42":154,"_44":155,"_156":157,"_158":-5,"_159":160,"_161":162,"_163":164,"_165":26,"_166":167,"_168":26,"_169":-5,"_67":69,"_68":-5},"tax_rd_T10743","{\"openalex_topic\":\"T10743\"}","2026-05-14T00:50:59.179458856","2026-05-23T12:37:27.198466399","taxonomyType","RESEARCH_DOMAIN","code","level",3,"parentId","tax_rd_1712","path","Physical Sciences/Computer Science/Software/Software Testing and Debugging Techniques","sortOrder","isLeaf",true,"entityCount","children","tax_rd_T10142","{\"openalex_topic\":\"T10142\"}","2026-05-14T00:50:08.327876348","2026-05-23T12:37:30.260212058","tax_rd_1703","Physical Sciences/Computer Science/Computational Theory and Mathematics/Formal Methods in Verification","tax_rd_T10260","{\"openalex_topic\":\"T10260\"}","2026-05-14T00:28:34.279333119","2026-05-23T12:39:10.380010709","tax_rd_1710","Physical Sciences/Computer Science/Information Systems/Software Engineering Research","tax_ind_enterprise","企业软件","Enterprise Software","manual","INDUSTRY","tax_ind_root","科技行业/企业软件",{"_72":190,"_74":191},[],[192],{"_77":193,"_79":194,"_81":195,"_83":196},1780619674911,{"_86":198,"_88":89,"_90":193,"_91":-5,"_92":26,"_93":26,"_94":26,"_95":-5,"_96":-5,"_97":66,"_35":98,"_99":100},[85,197],"[\"portal\",\"industries\"]","industries",[199,200,201,202,203,204,205,206,207,208,209,210],{"_15":255,"_29":256,"_31":-5,"_32":257,"_33":258,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":259,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":256,"_68":258},{"_15":251,"_29":252,"_31":-5,"_32":-5,"_33":253,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":254,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":252,"_68":253},{"_15":245,"_29":246,"_31":-5,"_32":247,"_33":248,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":249,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":246,"_68":248},{"_15":241,"_29":242,"_31":-5,"_32":-5,"_33":243,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":244,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":242,"_68":243},{"_15":182,"_29":183,"_31":-5,"_32":-5,"_33":184,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":188,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":183,"_68":184},{"_15":235,"_29":236,"_31":-5,"_32":237,"_33":238,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":239,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":236,"_68":238},{"_15":231,"_29":232,"_31":-5,"_32":-5,"_33":233,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":234,"_165":26,"_166":167,"_168":26,"_169":-5,"_67":232,"_68":233},{"_15":227,"_29":228,"_31":-5,"_32":-5,"_33":229,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":230,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":228,"_68":229},{"_15":223,"_29":224,"_31":-5,"_32":-5,"_33":225,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":226,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":224,"_68":225},{"_15":219,"_29":220,"_31":-5,"_32":-5,"_33":221,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":222,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":220,"_68":221},{"_15":215,"_29":216,"_31":-5,"_32":-5,"_33":217,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":218,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":216,"_68":217},{"_15":211,"_29":212,"_31":-5,"_32":-5,"_33":213,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":185,"_42":-5,"_44":-5,"_156":186,"_158":-5,"_159":89,"_161":187,"_163":214,"_165":26,"_166":66,"_168":26,"_169":-5,"_67":212,"_68":213},"tax_ind_smartphone","智能手机","Smartphone","科技行业/智能手机","tax_ind_robot","机器人","Robotics","科技行业/机器人","tax_ind_wearable","智能穿戴","Smart Wearables","科技行业/智能穿戴","tax_ind_energy","新能源与智能制造","New Energy & Smart Manufacturing","科技行业/新能源与智能制造","tax_ind_biotech","生物科技","Biotech","科技行业/生物科技","tax_ind_quantum","量子计算","Quantum Computing","科技行业/量子计算","tax_ind_blockchain","区块链",[240],"Blockchain","科技行业/区块链","Web3","tax_ind_security","网络安全","Cybersecurity","科技行业/网络安全","tax_ind_semi","半导体",[250],"Semiconductor","科技行业/半导体","芯片","tax_ind_cloud","云计算","Cloud Computing","科技行业/云计算","tax_ind_ai","人工智能",[260,261],"Artificial Intelligence","科技行业/人工智能","AI","AI 技术","env",{"_264":24},"SITE_BASE_URL"]

The S <scp>LAM</scp> project 论文

The S <scp>LAM</scp> project · 相关文章