Sourceline pc

[necipfazil]

TODOs:

• Test. A few things that need immediate testing are:
  • Test build system id in different machines, verify same kernel versions produce same ids
  • Test timeouts
• Remove obsolete code: Some code in klocalizer.py belongs to old krepair implementation. The new klocalizer implementation should handle everything. Remove unused code.
• Introduce krepair interface: Either create a new tool that uses klocalizer, or let klocalizer take .patch files as input. Latter might be easier.
• Document: The old interface should work as earlier but there is new behavior, and many improvements to what we did previously in krepair. Create a summary of all these. (I split different things into separate commits, and used proper commit messages to help documentation.)

[necipfazil]

TODOs:

• Test --werror with actual warning/error cases
• Add SuperC checks to --werror

Low priority improvement ideas:

• Do analysis on include/exclude arguments to deduce satisfiability without SAT checks (e.g., including net/qrtr/ but excluding net/ is not possible)
• --exclude-recursive: Excluding drivers/ is UNSAT since it is unconstrained. However, for the user who wants to exclude any units inside such directories from being built, implement recursive exclusion. This can be done for includes as well.

[necipfazil]

Decision needed for --include-mutex algo If none of the --include-mutex is satisfied, klocalizer outputs no config (ERROR: No satisfying configuration found.).

For example:

klocalizer -a x86_64 --include-mutex arch/x86/net/bpf_jit_comp32.o --include kernel/fork.o

Despite kernel/fork.o is built, since none of mutex is built, terminates with error.

Alternatives:

1. Keep doing this (if none of mutex covered, fail)
2. Fall down to old algorithm, excluding all mutex, search for an arch that satisfies all non-mutex constraints