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.
Features
- High Scalability and Precision
Categories
Source Code AnalysisFollow KDD: Kernel Data Disambiguation Tool
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
There are no 1 star reviews.