Name | Modified | Size | Downloads / 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