Code

Add shared basic block library#18497

Code

Open

paldepind wants to merge 6 commits intogithub:maingithub/codeql:mainfrom paldepind:shared-basic-block-librarypaldepind/codeql:shared-basic-block-libraryCopy head branch name to clipboard

+9,196-969

Commits

Commits on Jan 15, 2025

• Rust, Ruby: Add basic block test

  paldepind

  committed
  ce5c886

  Copy full SHA for ce5c886

Commits on Jan 16, 2025

• Shared: Add shared basic block library

  paldepind

  committed
  c051eec

  Copy full SHA for c051eec

• Shared: Add change note for basic block addition

  paldepind

  committed
  8b20b0d

  Copy full SHA for 8b20b0d

Commits on Jan 17, 2025

• Shared: Address review comments for shared basic block library

  paldepind

  committed
  4d05b6a

  Copy full SHA for 4d05b6a

• Actions: Implement added predicates in CFG instantiation

  paldepind

  committed
  53b63be

  Copy full SHA for 53b63be

• Shared: Address review comments for basic block library

  paldepind

  committed
  e382ffc

  Copy full SHA for e382ffc