Support for RepoAudit

Need help with RepoAudit? Find answers, report issues, and join our community.

Need help?

GitHub Issues:: Submit a detailed bug report or question on our GitHub repository.
Updates:: Stay informed about the latest RepoAudit features and releases by checking our releases page.

Troubleshooting

Do you have trouble analyzing your project or encountering errors? Please check out the following list for common issues and solutions. If the problem persists, feel free to open an issue on GitHub. We will continuously update this list based on your reported issues.

TBD

FAQ

1. Is RepoAudit platform independent?

Yes. RepoAudit can be deployed on Windows, macOS, and Linux.

2. Does RepoAudit support cross-language analysis?

No. Although RepoAudit has multi-lingual support, it can only analyze the programs developed in single programming languages. We will add cross-language analysis support in the future.

3. Does the choice of LLM significantly affect the performance of RepoAudit?

To some extent, yes. We recommend using GPT-4, Claude-3.5 Sonnet, or DeepSeek-V3 as driving models for RepoAudit. Using o3-mini, Claude 3.7, or DeepSeek-R1 can yield even better results.

4. I am a serious programming language researcher. I wonder whether RepoAudit has any soundness guarantee, i.e., can theoretically detect all underlying bugs in the program.

No. We don’t expect RepoAudit to detect all the bugs – that would be impossible. Even the so-called "sound" symbolic static analysis tools eventually compromise on full soundness in practice. For example, RepoAudit has discovered many bugs that even Meta Infer fails to detect.