codeql

История

Mathias Vorreiter Pedersen 6c8982b46e Merge pull request #9469 from rdmarsh2/rdmarsh2/swift/dataflow-inout Swift: Dataflow through inout parameters		2022-06-13 18:11:11 +01:00
..
codegen	Merge pull request #9469 from rdmarsh2/rdmarsh2/swift/dataflow-inout	2022-06-13 18:11:11 +01:00
extractor	Merge pull request #9469 from rdmarsh2/rdmarsh2/swift/dataflow-inout	2022-06-13 18:11:11 +01:00
integration-tests	Swift: do not keep trap files for tests	2022-05-24 11:48:45 +02:00
ql	Merge pull request #9469 from rdmarsh2/rdmarsh2/swift/dataflow-inout	2022-06-13 18:11:11 +01:00
tools	Swift: build x86_64 on arm64 macOS	2022-06-08 10:25:38 +02:00
.clang-format	Swift: first skeleton extractor	2022-04-12 12:40:59 +02:00
.gitignore	Swift: added trapgen	2022-04-28 12:01:59 +02:00
BUILD.bazel	Swift: merge `codegen` and `cppcodegen`	2022-06-01 17:07:52 +02:00
README.md	Update Swift readme	2022-05-31 10:56:28 +01:00
codeql-extractor.yml	Swift: first skeleton extractor	2022-04-12 12:40:59 +02:00
rules.bzl	Swift: build x86_64 on arm64 macOS	2022-06-08 10:25:38 +02:00

README.md

Warning

The Swift codeql package is an experimental and unsupported work in progress.

Usage

First ensure you have Bazel installed, for example with

brew install bazelisk

then from the ql directory run

bazel run //swift:create-extractor-pack

which will install swift/extractor-pack.

Using --search-path=swift/extractor-pack will then pick up the Swift extractor. You can also use --search-path=., as the extractor pack is mentioned in the root codeql-workspace.yml.

Notice you can run bazel run :create-extractor-pack if you already are in the swift directory.

Code generation

Run

bazel run //swift/codegen

to update generated files. This can be shortened to bazel run codegen if you are in the swift directory.