Fixing hardware security bugs with large language models
Core: Resolving code quality issues using llms
As software projects progress, quality of code assumes paramount importance as it affects
reliability, maintainability and security of software. For this reason, static analysis tools are …
reliability, maintainability and security of software. For this reason, static analysis tools are …
Frustrated with code quality issues? llms can help!
As software projects progress, quality of code assumes paramount importance as it affects
reliability, maintainability and security of software. For this reason, static analysis tools are …
reliability, maintainability and security of software. For this reason, static analysis tools are …
Deepcode AI fix: Fixing security vulnerabilities with large language models
The automated program repair field has attracted substantial interest over the years, but
despite significant research efforts, creating a system that works well for complex semantic …
despite significant research efforts, creating a system that works well for complex semantic …
Propr: property-based automatic program repair
Automatic program repair (APR) regularly faces the challenge of overfitting patches---
patches that pass the test suite, but do not actually address the problems when evaluated …
patches that pass the test suite, but do not actually address the problems when evaluated …
Nofuneval: Funny how code lms falter on requirements beyond functional correctness
Existing evaluation benchmarks of language models of code (code LMs) focus almost
exclusively on whether the LMs can generate functionally-correct code. In real-world …
exclusively on whether the LMs can generate functionally-correct code. In real-world …