[dev] segfault in basename

From: Frank Busse <f.busse_AT_imperial.ac.uk>
Date: Thu, 23 Oct 2025 10:48:48 +0200

Hi,


I ran sbase with klovo.io's KLEE extension and it reported a write to
read-only memory:

Asan confirms for revision 9aeab2a47c:

---
./basename "" ""
AddressSanitizer:DEADLYSIGNAL
=================================================================
==176910==ERROR: AddressSanitizer: SEGV on unknown address
==176910==The signal is caused by a WRITE memory access.
...
---
Best,
Frank

Received on Thu Oct 23 2025 - 10:48:48 CEST