https://github.com/aibaars/codeql-kaleidoscope

CodeQL for LLVM Kaleidoscope
https://github.com/aibaars/codeql-kaleidoscope

Last synced: 6 days ago
JSON representation

CodeQL for LLVM Kaleidoscope

• Host: GitHub
• URL: https://github.com/aibaars/codeql-kaleidoscope
• Owner: aibaars
• License: mit
• Created: 2023-02-26T13:51:24.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-07-31T08:17:57.000Z (6 months ago)
• Last Synced: 2024-12-21T19:02:21.017Z (about 1 month ago)
• Language: CodeQL
• Size: 76.2 KB
• Stars: 6
• Watchers: 3
• Forks: 3
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-codeql - codeql-kaleidoscope - CodeQL for LLVM Kaleidoscope ([AST/CFG/SSA/Dataflow in separate commits](https://github.com/aibaars/codeql-kaleidoscope/commits/main/)) (CodeQL Extractors)

README

        
# codeql-kaleidoscope

CodeQL for LLVM Kaleidoscope.

## Setup 

- Install Rust (rustup.rs)

- Install CodeQL CLI ([Setting up the CodeQL CLI](https://docs.github.com/en/code-security/codeql-cli/getting-started-with-the-codeql-cli/setting-up-the-codeql-cli))

- Run `scripts/create-extractor-pack.sh`

  - [optional] Update `codeql` to `gh codeql`

- Install lib packs

  - `cd ql/lib && gh codeql pack install`

**Create Database:**

```bash

gh codeql database create \

    --language=kaleidoscope --overwrite \

    --search-path $PWD/extractor-pack \

    --source-root ./testing/source \

    ./testing/database

```

**Run Query:**

```

gh codeql query run \

    -d ./testing/database/ \

    query.ql

```