Download Latest Version luke-4.0.tar.gz (84.0 MB)
Email in envelope

Get an email when there's a new version of LUKE

Home
Name Modified Size InfoDownloads / Week
luke-4.0.tar.gz 2016-04-01 84.0 MB
examples.pdf 2015-08-14 65.5 kB
README.md 2015-06-07 733 Bytes
Totals: 3 Items   84.1 MB 0

LUKE

Description

LUKE is a pratical static analysis tool that can be used for detecting null pointer dereferences (NPD) in C program. LUKE first tracks the dependence relations of values from the sites where a null pointer might be produced to its dereferenced sites using guarded value-dependence graph (VDG). It then detects NPD by solving graph reachability problem on its VDG.

Installation

Download it from sourceforge:

<https://sourceforge.net/projects/npd-luke>

After download, decompress the tar file:

tar -xzvf luke.tar.gz

Run luke-startup.bat if you're using Windows, otherwise you should run luke-startup.sh:

./luke-startup.sh

Or

./luke-startup.bat
Source: README.md, updated 2015-06-07