Re: [dev] Suckless filesystems

2023-06-22 Thread Hiltjo Posthuma
On Thu, Jun 22, 2023 at 12:08:42PM +0200, Sagar Acharya wrote: > Which are the filesystems which suckless recommends? > > In my view, simple ones are FAT32, ext2. > > I think journaling is required which I see as within disk backup. A robust > and easy fsck like program which corrects errors

Re: [dev] [sbase] segfault in cron

2023-06-22 Thread Hiltjo Posthuma
On Thu, Jun 22, 2023 at 05:46:09PM +0100, Frank Busse wrote: > Hi, > > > I ran KLEE on revision #530407 and it found a segfault in cron. It can > be reproduced via: > > $ printf '1*' > A > $ sbase-530407/bin/cron "-nfA" > > Seems free() points into rubbish: > > AddressSanitizer:DEADLYSIGNAL >

[dev] [sbase] segfault in cron

2023-06-22 Thread Frank Busse
Hi, I ran KLEE on revision #530407 and it found a segfault in cron. It can be reproduced via: $ printf '1*' > A $ sbase-530407/bin/cron "-nfA" Seems free() points into rubbish: AddressSanitizer:DEADLYSIGNAL = ==2103==ERROR:

[dev] Suckless filesystems

2023-06-22 Thread Sagar Acharya
Which are the filesystems which suckless recommends? In my view, simple ones are FAT32, ext2. I think journaling is required which I see as within disk backup. A robust and easy fsck like program which corrects errors easily. And a program which periodically checks memory and replaces all