Skip to content

itu-square/eba-kernel-bugs

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

EBA Kernel Bugs

This repository contains samples of patched bugs found in the Linux kernel git log.

Each repository contains a sample of bugs within a specific category. The directories contain the raw .c source files, as well as GCC preprocessed files for evaluation of the EBA analyzer.

The READMEs found within each subdirectory detail how the samples have been collected.

About

Submission to VMCAI 2017.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • SWIG 78.6%
  • C 21.4%