Code

Divide-before-multiply detector#19

Code

Merged

byakuren-hijiri merged 7 commits intomasternowarp/misti:masterfrom div-before-mulnowarp/misti:div-before-mulCopy head branch name to clipboardJul 19, 2024

+519-53

Commits

Commits on Jul 14, 2024

• feat(divBeforeMul): Draft the lint skeleton and tests

  byakuren-hijiri

  committed
  0ec4617

  Copy full SHA for 0ec4617

Commits on Jul 16, 2024

• feat(souffle): Support constraints; refactor the rule module

  byakuren-hijiri

  committed
  6a7d9e8

  Copy full SHA for 6a7d9e8

Commits on Jul 17, 2024

• feat(divBeforeMul): Implement Souffle rules with taint propagation

  byakuren-hijiri

  committed
  1bafd10

  Copy full SHA for 1bafd10

• feat(divideBeforeMultiply): Build Souffle facts for the defined rules

  byakuren-hijiri

  committed
  cfca995

  Copy full SHA for cfca995

Commits on Jul 19, 2024

• fix(divBeforeMul): Indirect tainted cases

  byakuren-hijiri

  committed
  8949917

  Copy full SHA for 8949917

• chore: Minor fixes

  byakuren-hijiri

  committed
  8927d53

  Copy full SHA for 8927d53

• fix: ESLint warning

  byakuren-hijiri

  committed
  415207c

  Copy full SHA for 415207c