All pull requests

Pull requests

• chore(deps): bump z3 from 0.12.1 to 0.21.1

  area: core-enginedependenciessize/xs
  #960·dependabot[bot] opened Sep 28, 2026Bot·

  ·

• docs: publish community rule registry and contribution guide (closes #727)

  area: docssize/m
  #959·shobhamerabacha-star opened Sep 23, 2026·

  ·
  1

• chore(deps): bump @tanstack/react-table from 8.21.3 to 9.2.3 in /frontend

  area: frontenddependenciessize/xs
  #958·dependabot[bot] opened Aug 31, 2026Bot·

  ·

• chore(deps-dev): bump eslint-config-next from 16.1.4 to 16.3.3 in /frontend

  area: frontenddependenciessize/xs
  #957·dependabot[bot] opened Aug 31, 2026Bot·

  ·

• chore(deps-dev): bump eslint from 9.39.3 to 10.9.1 in /frontend

  area: frontenddependenciessize/xs
  #956·dependabot[bot] opened Aug 31, 2026Bot·

  ·

• chore(deps-dev): bump @types/node from 20.19.34 to 26.4.0 in /frontend

  area: frontenddependenciessize/xs
  #954·dependabot[bot] opened Aug 31, 2026Bot·

  ·

• chore(deps): bump next from 16.1.4 to 16.3.3 in /frontend

  area: frontenddependenciessize/xs
  #953·dependabot[bot] opened Aug 31, 2026Bot·

  ·

• Detector: Reentrancy via env.invoke_contract before effects (#793)

  area: core-enginearea: docsarea: testingrustsize/m
  #864·odogu01 opened Jul 27, 2026·4 tasks done·

  ·
  1

  1

• feat(detectors): add admin_event_missing detector (Detectors wave 3)

  area: core-enginearea: docsarea: testingrustsize/l
  #863·playmaker410 opened Jul 27, 2026·5 tasks done·

  ·
  1

  2

• Detector] token math

  area: cliarea: core-enginearea: docsarea: frontendarea: testingdependenciesjavascriptrustsize/l
  #861·gloskull opened Jul 26, 2026·

  ·
  1

  1

• feat(core): add event cast narrowing detector

  area: core-enginearea: docsarea: testingrustsize/l
  #859·anidroid1184 opened Jul 24, 2026·3 of 8 tasks·

  ·
  1

  9

• feat: initialize Sanctifier workspace, core analysis engine, and CLI

  area: cliarea: core-enginedependenciesrustsize/xl
  #858·SHEROSE0 opened Jul 24, 2026·

  ·
  1

  1

• Feature/custom detectors api

  area: core-enginearea: docsrustsize/m
  #833·Luchistack opened Jul 22, 2026Contributor·2 tasks done·

  ·
  1

  1

• Snapshot

  area: ci/cdarea: core-enginearea: docsarea: frontendarea: infraarea: testingdependenciesjavascriptsize/xl
  #831·OluRemiFour opened Jul 22, 2026·8 tasks·

  ·
  1

  2

• Adopters showcase + real findings gallery

  area: docsarea: frontendarea: infradependenciesjavascriptsize/xl
  #830·OluRemiFour opened Jul 22, 2026·8 tasks·

  ·
  1

  2