Sign in

One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels.

Liang HePurui SuChao ZhangYan CaiJinxin Ma
Published in: SOSP (2023)
Keyphrases
  • source code
  • open source
  • static analysis
  • statistical analysis
  • support vector
  • data analysis
  • test cases
  • quantitative analysis
  • database
  • real time
  • feature space
  • relational databases
  • operating system