KNighter is a checker synthesis tool that leverages the power of LLMs to generate static analysis checkers 🦉 based on historical patch commits. You also need to set up the llm_keys.yaml file, which ...