Assertion list
linux kernel (subgroup of kernel ) → CapableOf

Results from Ascent++: 10
linux kernelCapableOf shipped with red hat enterprise… 0.68
linux kernelCapableOf reset the wall clock 0.64
linux kernelCapableOf use the value 0.64
linux kernelCapableOf disable address space layout ra… 0.60
linux kernelCapableOf randomize the stack 0.34
linux kernelCapableOf provide preemptive scheduling 0.25
linux kernelCapableOf change certain segment registers 0.16
linux kernelCapableOf change thread-local storage 0.16
linux kernelCapableOf handle hid 0.16
linux kernelCapableOf received contribution 0.16