Issues

• flow - _Out failing?

  thradams/cake#523 · Filter by author thradams opened on Oct 19, 2026

• flow - Use after free through an alias in a later loop iteration

  thradams/cake#519 · Filter by author thradams opened on Oct 16, 2026

• flow - False positive: checking an alias doesn’t narrow the original

  thradams/cake#517 · Filter by author thradams opened on Oct 16, 2026

• flow - false positive

  thradams/cake#513 · Filter by author thradams opened on Oct 16, 2026

• flow - Address of a local stored in a returned heap object

  thradams/cake#512 · Filter by author thradams opened on Oct 16, 2026

• flow - Alias stored in a heap object

  thradams/cake#511 · Filter by author thradams opened on Oct 16, 2026

• flow - Free inside a switch case that ends in break

  thradams/cake#510 · Filter by author thradams opened on Oct 16, 2026

• flow - Free inside while { ...; break; }, then use through an alias

  thradams/cake#509 · Filter by author thradams opened on Oct 16, 2026

• flow - Union member alias

  thradams/cake#507 · Filter by author thradams opened on Oct 16, 2026

• flow - free on a local (non-heap) object

  thradams/cake#506 · Filter by author thradams opened on Oct 16, 2026

• flow - Static local keeps an alias from a previous call

  thradams/cake#505 · Filter by author thradams opened on Oct 16, 2026

• flow - Free inside a for(;;) before break

  thradams/cake#503 · Filter by author thradams opened on Oct 15, 2026

• flow - Alias returned by a function (needs contracts)

  thradams/cake#502 · Filter by author thradams opened on Oct 15, 2026

• flow - Alias through a cast

  thradams/cake#500 · Filter by author thradams opened on Oct 15, 2026

• flow - Same pointer passed as both an owner and a plain argument (restrict ?)

  thradams/cake#499 · Filter by author thradams opened on Oct 15, 2026

• flow - The function you call frees a global

  thradams/cake#497 · Filter by author thradams opened on Oct 15, 2026

• flow Alias of a global _Owner

  thradams/cake#496 · Filter by author thradams opened on Oct 15, 2026

• 2. Global keeps the address of a local

  thradams/cake#495 · Filter by author thradams opened on Oct 15, 2026

• flow - Use after free when the free happens in only one loop iteration

  thradams/cake#494 · Filter by author thradams opened on Oct 15, 2026

• flow : memcpy and double free

  thradams/cake#486 · Filter by author thradams opened on Oct 15, 2026

• for loop iteration

  thradams/cake#474 · Filter by author thradams opened on Sep 19, 2026

• merge annotations

  thradams/cake#470 · Filter by author thradams opened on Sep 16, 2026

• Weird behavior with #def and -preprocess-def-macro

  thradams/cake#445 · Filter by author Psteven5 opened on Jul 5, 2026
  4

• flow: object inside arrays

  thradams/cake#436 · Filter by author thradams opened on May 8, 2026

• add C2Y n3348 Matching of Multi-Dimensional Arrays in Generic Selection Expressions

  enhancement
  thradams/cake#293 · Filter by author thradams opened on Sep 4, 2025