BugLens

BugLens is a tool designed to enhance the precision of static analysis results specifically for "taint-style" bugs in Linux kernel code using large language models (LLMs). It achieves a remarkable sevenfold improvement in precision and aids recall for bugs typically overlooked by human reviewers. Notable features include integration with PostgreSQL for logging and storing analysis results, as well as the capability to manage multiple LLM API keys for comprehensive analysis.