Set up Cursor Cloud dev environment for CodeChecker#2
Draft
gamesh411 wants to merge 1 commit into
Draft
Conversation
Co-authored-by: Endre Fülöp <gamesh411@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Sets up the CodeChecker development environment for Cursor Cloud agents and documents durable, non-obvious caveats in
AGENTS.md.CodeChecker is a static-analysis infrastructure: Python CLI/analyzer + Thrift web server + Vue 3 web UI, orchestrated by GNU Make.
What was done
clang-tidy,cppcheck,python3-venv/python3-dev,libstdc++-14-dev(fixes clang++ not findingiostream), andlibldap2-dev/libsasl2-dev(forpython-ldap).make venv_dev) plus auth deps (python-ldap) needed by the web server unit tests.BUILD_LOGGER_64_BIT_ONLY=YES make package(avoids 32-bitldloggerlibs) — includes the Vue UI build.AGENTS.md## Cursor Cloud specific instructions.Verification
make pycodestyleandcd web/server/vue-cli && npm run test:lintmake test_unit(130 analyzer + 41 server + 3 client passed)CodeChecker checkon a sample buggy C file found 3 defects (null deref, division by zero), stored toCodeChecker server(SQLite), and viewed in the Vue web UI.codechecker_web_ui_walkthrough.mp4
Reports list for hello-cc run
Report detail with highlighted null-pointer bug path
Note for future agents
Use the non-
*_in_envtest targets with the rootvenv_devactivated. The*_in_envtargets create isolated per-component venvs that omit auth deps, causingtest_ccldap.pyto fail withModuleNotFoundError: No module named 'ldap'.To show artifacts inline, enable in settings.