Issues

• memtrack: VLA from map2check_map_non_static_alloca is a leak and takes size in bytes (SD-12)

  area:memtrackbugkind:bug
  hbgit/map2check-library#38 · Filter by author hbgit opened on Oct 15, 2026

• memtrack: check_free_resolved_address treats an untracked address as safe (SD-06)

  area:memtrackbugkind:bug
  hbgit/map2check-library#37 · Filter by author hbgit opened on Oct 15, 2026

• memtrack: a safe memory check clears an earlier violation (SD-03)

  area:memtrackbugkind:bug
  hbgit/map2check-library#36 · Filter by author hbgit opened on Oct 15, 2026

• Apply readiness criteria before promoting the Rust integration

  enhancement
  hbgit/map2check-library#24 · Filter by author hbgit opened on Oct 14, 2026

• Migrate consumers and retire compatibility only after parity

  enhancement
  hbgit/map2check-library#23 · Filter by author hbgit opened on Oct 14, 2026

• Integrate Rust into Map2Check CMake behind an opt-in option

  enhancement
  hbgit/map2check-library#22 · Filter by author hbgit opened on Oct 14, 2026

• Add a compatibility layer for current Map2Check passes

  enhancement
  hbgit/map2check-library#21 · Filter by author hbgit opened on Oct 14, 2026

• Run the KLEE feasibility gate and record the decision

  enhancement
  hbgit/map2check-library#20 · Filter by author hbgit opened on Oct 14, 2026

• Implement the legacy result-channel compatibility

  enhancement
  hbgit/map2check-library#19 · Filter by author hbgit opened on Oct 14, 2026

• Measure and control performance regressions

  enhancement
  hbgit/map2check-library#18 · Filter by author hbgit opened on Oct 14, 2026

• Validate C, KLEE, and LibFuzzer build and test flows

  enhancement
  hbgit/map2check-library#17 · Filter by author hbgit opened on Oct 14, 2026

• Correct and enforce strict release and CI builds

  bug
  hbgit/map2check-library#16 · Filter by author hbgit opened on Oct 14, 2026
  1

• Add differential tests against the C implementation

  enhancement
  hbgit/map2check-library#15 · Filter by author hbgit opened on Oct 14, 2026
  1

• Maintain JSON compatibility with the existing consumer

  bug
  hbgit/map2check-library#14 · Filter by author hbgit opened on Oct 14, 2026

• Align the C ABI with the Rust library

  enhancement
  hbgit/map2check-library#13 · Filter by author hbgit opened on Oct 14, 2026
  1

• Restore or explicitly replace the LibFuzzer generation API

  enhancement
  hbgit/map2check-library#12 · Filter by author hbgit opened on Oct 14, 2026

• Fix address validation after free

  bug
  hbgit/map2check-library#11 · Filter by author hbgit opened on Oct 14, 2026
  1

• Implement memory-safety option semantics

  bug
  hbgit/map2check-library#10 · Filter by author hbgit opened on Oct 14, 2026

• Reset analysis state between analyses and fuzzing iterations

  bug
  hbgit/map2check-library#9 · Filter by author hbgit opened on Oct 14, 2026
  1

• Prevent unhandled failures from crossing the FFI boundary

  bug
  hbgit/map2check-library#8 · Filter by author hbgit opened on Oct 14, 2026
  1

• Cover the C API with integration programs

  enhancement
  hbgit/map2check-library#7 · Filter by author hbgit opened on Oct 14, 2026

• Complete or explicitly deprecate remaining nondet symbols

  enhancement
  hbgit/map2check-library#6 · Filter by author hbgit opened on Oct 14, 2026