Skip to content

Conversation

@GrigorenkoPV
Copy link
Contributor

On modern NixOS installations /lib64/ld-linux-x86-64.so.2 seems to be a link to /nix/store/%hash%-stub-ld-x86_64-unknown-linux-musl, which prints the following when invoked:

Could not start dynamically linked executable: [...]
NixOS cannot run dynamically linked executables intended for generic
linux environments out of the box. For more information, see:
https://nix.dev/permalink/stub-ld

But the current check assumes that things are fine and does not patch anything.

This PR makes kani still patch binaries if /lib64/ld-linux-x86-64.so.2 is a stub.


By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@GrigorenkoPV GrigorenkoPV requested a review from a team as a code owner October 14, 2025 11:58
@tautschnig tautschnig enabled auto-merge November 11, 2025 14:19
@tautschnig tautschnig added this pull request to the merge queue Nov 11, 2025
auto-merge was automatically disabled November 11, 2025 15:14

Pull Request is not mergeable

Merged via the queue into model-checking:main with commit 76a4adc Nov 11, 2025
33 checks passed
@GrigorenkoPV GrigorenkoPV deleted the stub-ld branch November 11, 2025 19:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants