LibNSGIF – Static analysis of code.