Files
codeql-intro-csharp/README.org
2024-12-03 10:52:19 -08:00

5.2 KiB
Raw Blame History

TODO Introduction to CodeQL

  1. describe the system using diagrams as reference point, with details from existing docs

  2. Update https://github.com/hohn/codeql-cli-end-to-end

  3. https://github.com/hohn/codeql-workshop-sql-injection-java

    • version for C#

TODO CodeQL overview

  • /Users/hohn/local/codeql-dataflow-sql-injection/CodeQL-workshop-overview-only.pdf

There are two identifyable tracks for codeql users: devops and query writers. The first one focuses on setup, deployment, and query selection; the second on query writing. There is significant overlap; the CodeQL CLI Setup is needed by both.

TODO CodeQL CLI Setup

  cd ~/work-gh/codeql-intro-csharp
  codeql resolve  packs
  codeql pack install

Using

  library: false
  name: sample/csharp-sql-injection
  version: 0.0.1
  dependencies:
    codeql/csharp-all: "*"

with

codeql pack install

will install the packs matching this codeql version, then create

codeql-pack.lock.yml

which pins the version.

DONE Test Problem Setup

CLOSED: [2024-12-02 Mon 14:59]

  • State "DONE" from "NEXT" [2024-12-02 Mon 14:59]

Hello World Sample

  # Install sdk
  brew install --cask dotnet-sdk
  dotnet --version

  # Create template project
  mkdir HelloWorld
  cd HelloWorld
  dotnet new console

  # Compile template project
  cd ~/work-gh/codeql-intro-csharp/HelloWorld/
  dotnet build

  # Run template project
  dotnet run
  # or
  ./bin/Debug/net9.0/HelloWorld

SQL Injection

  # Project Setup
  cd ~/work-gh/codeql-intro-csharp/
  dotnet new console -n SqliDemo
  cd SqliDemo

  dotnet add package Microsoft.Data.Sqlite

  # Database Init
  cd ~/work-gh/codeql-intro-csharp/SqliDemo
  sqlite3 users.sqlite
  CREATE TABLE users (id INTEGER, info TEXT);
  .exit

  # Build
  cd ~/work-gh/codeql-intro-csharp/SqliDemo
  dotnet build

  # Run
  dotnet run
  First User

  # Check db
  echo '
      SELECT * FROM users;
  ' | sqlite3 users.sqlite 

  # Add Johnny Droptable 
  dotnet run
  Johnny'); DROP TABLE users; --

  # Check db
  echo '
      SELECT * FROM users;
  ' | sqlite3 users.sqlite 
  # Parse error near line 2: no such table: users

DONE SQL Injection Code Compilation and Sample Run

CLOSED: [2024-12-03 Tue 10:52]

  • State "DONE" from "NEXT" [2024-12-03 Tue 10:52]
  # All run in pwsh, typical prompt is
  # PS /Users/hohn/work-gh/codeql-intro-csharp> 

  # Build
  cd $HOME/work-gh/codeql-intro-csharp
  ./build.ps1

  # Prepare db
  ./admin.ps1 -r
  ./admin.ps1 -c
  ./admin.ps1 -s

  # Add regular user interactively
  ./build.ps1
  ./SqliDemo/bin/Debug/net9.0/SqliDemo
  hello user

  # Check
  ./admin.ps1 -s

  # Add Johnny Droptable 
  ./SqliDemo/bin/Debug/net9.0/SqliDemo
  Johnny'); DROP TABLE users; --

  # And the problem:
  ./admin.ps1 -s
  Parse error near line 1: no such table: users

TODO Build database

pwsh -File build.ps1

TODO CodeQL VS Code Setup

TODO CodeQL for Devops and Administrators