e5951516b8
Rust: Add local data flow edge for SSA nodes |
||
---|---|---|
.. | ||
ast-generator | ||
codegen | ||
extractor | ||
ql | ||
schema | ||
tools | ||
BUILD.bazel | ||
README.md | ||
codegen.conf | ||
codeql-extractor.yml | ||
lint.py | ||
prefix.dbscheme | ||
update_cargo_deps.sh |
README.md
Rust on CodeQL
[!WARNING] Rust support for CodeQL is experimental. No support is offered. QL and database interfaces will change and break without notice or deprecation periods.
Development
Dependencies
If you don't have the semmle-code
repo you may need to install Bazel manually, e.g. from https://github.com/bazelbuild/bazelisk.
Building the Rust Extractor
This approach uses a released codeql
version and is simpler to use for QL development. From your semmle-code
directory run:
bazel run @codeql//rust:install
You now need to create a per-user CodeQL configuration file and specify the option:
--search-path PATH/TO/semmle-code/ql
(wherever the codeql
checkout is on your system)
You can now use the Rust extractor e.g. to run Rust tests from the command line or in VSCode.
Building the Rust Extractor (as a sembuild target)
This approach allows you to build a Rust extractor with a CLI built from source. From your semmle-code
directory run:
./build target/intree/codeql-rust
You can now invoke it directly, for example to run some tests:
./target/intree/codeql-rust/codeql test run ql/rust/ql/test/PATH/TO/TEST/
Building a Database
TODO
Code Generation
TODO