{"id":192,"date":"2016-10-10T16:57:41","date_gmt":"2016-10-10T21:57:41","guid":{"rendered":"http:\/\/www.ece.iastate.edu\/kcsl\/?page_id=192"},"modified":"2018-06-01T10:38:30","modified_gmt":"2018-06-01T15:38:30","slug":"lsap","status":"publish","type":"page","link":"https:\/\/www.ece.iastate.edu\/kcsl\/tools\/lsap\/","title":{"rendered":"L-SAP"},"content":{"rendered":"<p>L-SAP is a program analysis plugin for <a href=\"http:\/\/www.eclipse.org\/\">Eclipse<\/a> that performs scalable and accurate lock\/unlock pairing analysis for Linux Kernel. It incorporates algorithmic and heuristic innovations to address the major challenges to advance the state-of-the-art for accurate and scalable pairing analysis.<\/p>\n<p>For more details visit:<\/p>\n<ul>\n<li><a href=\"https:\/\/knowledgecentricsoftwarelab.com\/L-SAP\/\">https:\/\/knowledgecentricsoftwarelab.com\/L-SAP<\/a><\/li>\n<li><a href=\"https:\/\/lsap.knowledgecentricsoftwarelab.com\">https:\/\/lsap.knowledgecentricsoftwarelab.com<\/a><\/li>\n<\/ul>\n<p><iframe loading=\"lazy\" title=\"L-SAP Tool - ICSE 2016 Demonstratios Track\" width=\"480\" height=\"270\" src=\"https:\/\/www.youtube.com\/embed\/uIfcuOGvcxw?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/p>\n","protected":false},"excerpt":{"rendered":"<p>L-SAP is a program analysis plugin for Eclipse that performs scalable and accurate lock\/unlock pairing analysis for Linux Kernel. It incorporates algorithmic and heuristic innovations to address the major challenges to advance the state-of-the-art for accurate and scalable pairing analysis. For more details visit: https:\/\/knowledgecentricsoftwarelab.com\/L-SAP https:\/\/lsap.knowledgecentricsoftwarelab.com<\/p>\n","protected":false},"author":410,"featured_media":0,"parent":110,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-192","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/pages\/192","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/users\/410"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/comments?post=192"}],"version-history":[{"count":8,"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/pages\/192\/revisions"}],"predecessor-version":[{"id":421,"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/pages\/192\/revisions\/421"}],"up":[{"embeddable":true,"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/pages\/110"}],"wp:attachment":[{"href":"https:\/\/www.ece.iastate.edu\/kcsl\/wp-json\/wp\/v2\/media?parent=192"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}