1 Hit in 1.1 sec

Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions [article]

Hammond Pearce, Baleegh Ahmad, Benjamin Tan, Brendan Dolan-Gavitt, Ramesh Karri
2021 arXiv   pre-print
This raises concerns on the security of Copilot's code contributions.  ...  In total, we produce 89 different scenarios for Copilot to complete, producing 1,689 programs. Of these, we found approximately 40% to be vulnerable.  ...  Traditional security verification for RTL is conducted through a mix of formal verification tools and manual expertise of security experts [25] .  ... 
arXiv:2108.09293v3 fatcat:ppb7baf6dralviz6fjxhrex7yy