使用 CodeQL 弱點掃描 C#

安裝

# 建立資料夾
mkdir c:/codeql-home
cd c:/codeql-home

# 下載
curl -L https://github.com/github/codeql-cli-binaries/releases/download/v2.19.1/codeql-win64.zip --output codeql-win64.zip
curl -L https://github.com/github/codeql/archive/refs/tags/codeql-cli/v2.19.1.zip --output codeql-cli.zip

# 解壓縮
Expand-Archive -Path codeql-win64.zip -DestinationPath ./
Expand-Archive -Path codeql-cli.zip -DestinationPath ./
Move-Item ./codeql-codeql-cli-v2.19.1 ./codeql-repo 

設定

  • c:/codeql-home/codeql 加入環境變數 PATH

建立 CodeQL 資料庫

codeql database create {database-path} --language={lang} -s {source-path}

分析

codeql database analyze {database-path} --format=sarifv2.1.0 --output=results.sarif

Note: 目前如果 source code 有更動,需要重新建立資料庫,只能先刪除資料庫再建立。

參考

Read more

GitHub SDD Tools: spec-kit

GitHub SDD Tools: spec-kit

最近很夯 SDD,然後 GitHub 也出了工具 spec-kit 來幫助開發者撰寫 SDD 文件。 這個工具可以讓你直接用自然語言來描述你的需求,然後自動生成 SDD 文件。 spec-kit 支援來幾乎現在市面上所有的 AI Coding 工具,而且一直持續在更新。 以下是目前(0.0.79)版本可用的指令以及指令的用處: * 核心指令: 指令 用途 /speckit.constitution 建立或更新專案管理原則和開發指南 /speckit.specify 建立需求和使用者故事 /speckit.plan 建立實施計劃 /speckit.tasks 生成 Task /speckit.implement 執行 Task * 選擇性指令: 指令 用途 /speckit.clarify 釐清不明確的規格,

By Mars