Anastasios Andronidis

Results 43 comments of Anastasios Andronidis

Ah! This is because we have the loader debug symbol paths hard coded [here](https://github.com/srg-imperial/SaBRe/blob/master/loader/rewriter.c#L546-L549). In Ubuntu ld debug symbols are installed through `libc6-dbg`, you need to check where Arch stores...

Interesting! It the first time I see `debuginfod`! I need to study this before we merge it. Nevertheless, if you have any spare time, it would be also nice to...

Thanks a lot @RiscInside! Apologies for the delays, but as this PR is rather large and complex I'll take a look over the weekend.

Sorry to bother you with this @RiscInside but we need to split this PR into 2 PRs. We defined need the part we explore the directories automatically, but the server...

Yep that’s fine! You can make a separate one with the server integration

The only reason I'm still using GitHub Desktop is because of this missing functionality. I'm often working on large files of C/C++ with 1000s of lines of code and long...

JFYI I'm facing the same issue. Replacing the version of cuda to 11.6.2 makes the container build to fail with: ``` Building container: > docker build -f docker/ubuntu-20.04-aarch64.Dockerfile --build-arg CUDA_VERSION=11.6.2...

I'm running the latest from the repo. Last commit 3b75fd00da0b059be5c37768b960a58b0d951f86.

Ah this is interesting! Actually my binary is automatically going over a range of FDs and is closing them... Is it possible to make this rr used FD configurable?

The `-n` option did the trick. What is the trade-off here? Am I going to miss some important feature by disabling the syscall buffer?