Search results

Installation fails due to dd package

Status: Open.

#306 In paulgazz/kmax;

· TDot305 opened on Apr 10, 2026

koverage leads to a bug when getting conditional blocks for init/main.c

bug

Status: Open.

#305 In paulgazz/kmax;

· s4nsec opened on Feb 7, 2026

kmax/kextractlinux hardcodes CC=cc, causing GCC-dependent Kconfig constraints

Status: Open.

#303 In paulgazz/kmax;

· s4nsec opened on Jan 8, 2026

ERROR: SuperC configuration generation failed

Status: Open.

#297 In paulgazz/kmax;

· TangZW-lab opened on Oct 23, 2025

koverage: parallelize coverage collection for performance

enhancement

good first issue

Status: Open.

#296 In paulgazz/kmax;

· paulgazz opened on Oct 1, 2025

koverage: use temporary files for patch command

Status: Open.

#295 In paulgazz/kmax;

· paulgazz opened on Oct 1, 2025

koverage: warn on inability to compute file coverage instead of assert

Status: Open.

#294 In paulgazz/kmax;

· paulgazz opened on Oct 1, 2025

Enhancement: Reuse solver state when iterating over (file, line) pairs in klocalizer by using Z3 push() and pop()

Status: Open.

#293 In paulgazz/kmax;

· alexeisolonari opened on Jul 13, 2025

Enhancement: Deduplicate patch constraints across (file, line) pairs in krepair

Status: Open.

#292 In paulgazz/kmax;

· alexeisolonari opened on Jun 25, 2025

ERROR: Requested line is invalid for the source file

Status: Open.

#291 In paulgazz/kmax;

· TOBESTONG opened on May 13, 2025

Warnings and Errors when Using klocalizer with Linux 5.10.10-5.10.40 Diff

Status: Open.

#290 In paulgazz/kmax;

· TOBESTONG opened on May 11, 2025

Support setting options to y or m with the -D flag

Status: Open.

#286 In paulgazz/kmax;

· paulgazz opened on Apr 4, 2025