Lint for the pascal programming language
Static Code Analysis (lint) for Pascal Programmed in C++ as Code::Blocks project see Free Pascal for compiler http://www.freepascal.org/ Version: 0.1.0.6 Usage: pascallinter pascalsourcefile pascallinter -help commandline tool
KDD: Kernel Data Disambiguation Tool
KDD (Kernel Data Disambiguator) is a new automated software analysis tool that can generate a sound kernel data definition for any C-based OS (e.g. Windows and Linux) without any prior knowledge of the OS. KDD disambiguates the pointer-based relations including generic pointers - to infer their candidate types/values - by performing static points-to analysis on the kernel’s source code. KDD takes the source code of an OS kernel as input and outputs an accurate directed type-graph that represents the kernel data definition. KDD is able to scale to the enormous size of kernel code, unlike many other points-to analysis tools.
Collate any file type into printable and shareable HTML!
Full customization! Modify existing .properties files or make your own! More information on how to mod. PrettyPrintr is coming soon.