Hayley LeBlanc

Here's another example we found that exhibits more clearly buggy behavior. Here's a zip file with two programs that reproduce it: [programs.zip](https://github.com/NVSL/linux-nova/files/6395400/programs.zip). fuzzer.c was generated by our fuzzer and simpler.c...

Apologies for the delayed response. I believe what you describe is correct, where NOVA allocates the number of requested pages and runs out of space. It's not immediately clear to...

I spent some time digging into this issue and have a bit more information. First, I think the specific error output I reported above might stem from the same issues...

I went back and tested it out and you don't need `dd` (although `dd` is a kernel copying utility that should be installed by default - sorry for the lack...

I looked into this a bit more (although it still needs some more investigation). Like in #126, I was not able to reproduce the issue on baremetal and I was...

I'm working with NOVA on a QEMU/KVM virtual machine with 1 core running Ubuntu 20.04. I wonder if it's an artifact of the specific setup I'm using. I'll mess around...

Here are more details about my setup and the steps to reproduce: Setup: QEMU/KVM virtual machine running Ubuntu 20.04 and Linux kernel 5.1.0+ with KASAN. I initially ran into the...

I tried it on a bare-metal machine and was not able to replicate the issue there. I compared the execution on bare-metal vs. the VM and found that the issue...

I just got around to taking a look at this issue. If my understanding of the free list management in NOVA's recovery is correct, I think the problem looks something...

That makes sense - my workaround felt pretty janky :) Unfortunately I'm having trouble getting that solution to work. It seems as though running the checksum verification and inode repair...