Scalable and Accurate Lock/Unlock Pairing for Linux Kernel

Home    Install    Tutorials    Bugs    Preprint


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?

  1. First install L-SAP
  2. Then check out the tutorials

Source Code

Download the source code for L-SAP: L-SAP-0.1.tar.gz (1.8 MB).

Pairing Information/Evidence

A complete listing of all the pairing information (graph evidence) produced by L-SAP is available here!.