rllvm-query 0.6.1

Source-level queries over LLVM bitcode captured by rllvm
docs.rs failed to build rllvm-query-0.6.1
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.

rllvm-query

crates.io

Source-level questions about bitcode captured by rllvm: where a symbol is defined, who calls it, what it reaches, and what the captured program's boundary is. Also serves the same nine queries over MCP stdio for an agent to use.

cargo install rllvm-query   # needs LLVM_SYS_231_PREFIX if llvm-config is not on PATH
rllvm-query --catalog build/catalog.json callers helper

Point it at a catalog from rllvm-get-bc or rllvm-compdb generate. See the repository README for how to capture one, and examples/queries/ and examples/mcp/ for worked flows.

This is the only rllvm crate that links LLVM, through llvm-sys. Capturing bitcode does not need it, so the wrappers do not depend on this crate.

Answers never claim more than they know

scope is quoted from the catalog and never shrinks; what was actually read is reported separately under analysis. Indirect call sites appear as unresolved rather than being dropped, an empty reach is not unreachability, and !callees is an upper bound, not a reachable set.

License

Apache-2.0