@misc{indiciae146918d26502, title = {Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper) -- Extended Report}, author = {Mingjie Shen and Akul Abhilash Pillai and Brian A. Yuan and James C. Davis and Aravind Machiry}, year = {2025}, url = {https://arxiv.org/abs/2310.00205}, note = {Source identifier: 2310.00205} }