从HAL到HALT：在人工智能编码时代挫败天网的同胞.pdf

1、#SECTORCA SecTorCAFrom HAL to HALT:Thwarting From HAL to HALT:Thwarting Skynets Siblings in the Skynets Siblings in the GenAIGenAICoding EraCoding EraChris WysopalCo-founder&CTO,Veracode Unites States Senate testimony-19 May 1998One of the 1st vulnerability researchers,member of hacker think tank,L0

2、pht in 1990s Improve the Security of Your Product by Breaking Into ItFounded stake security research team and then Veracode to build security into SDLCState of Software Security 2024Addressing the Threat of Security Debt50%40%30%20%10%0%age of application in(years)the honeymoon phase of applications

3、 where fewer flaws are introduced12345new flaws introduced by application age8910Lets add the exciting potential of large language models that can write code!12Generating codeUnderstanding code/Code reviewRemediating defectsTranslating programming languagesCreating and maintaining unit testsWriting

4、documentationDeveloper GenAI use right now13Learning about the code baseSearching for answers to avoid reinventing the wheelReading log files to find a root causeCreating and running functional&non-functional testsRemediating security vulnerabilitiesEmerging dev uses for GenAIPublic GitHub Repositor

5、iesOpen-Source ProjectsDocumentation and CommentsThirds Party Code(License Risk)Training Data SetLarge corpus of data that includes open web content.Large Language ModelsChatGPTCode GeneratorBardUser Result41%41%of Copilot produced code contain known security vulnerabilities.Large Language ModelUser

6、 PromptSecurity Implications of LLMsWuhan University Study on AI Code GeneratorsStanford University Study on AI Code GeneratorsNew York University Study on GitHub CopilotPurdue University on ChatGPT accuracy36%Out of the 435 Copilot generated code snippets found in repos 36%contain security weakness