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
Other Useful Business Software
Email is the backbone of your customer engagement. The Twilio SendGrid Email API is the email service trusted by developers and marketers for time-savings, scalability, and delivery expertise. Our flexible Email API and proprietary Mail Transfer Agent (MTA), intuitive console, powerful features, and email experts make it easy to ensure all your email gets delivered in seconds and without interruption.
Rate This Project
Login To Rate This Project
User Reviews
-
Easy for use.