Overview
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.
L-SAP requires the Atlas analysis platform which is available for free academic use from EnSoft Corp. When you fill out the form, please mention L-SAP.
Getting Started
Ready to get started?