(f)(data)sync, syncfs, msync default annotations

[HassineRhouma-Myposter]

Hello!

I'm playing around with the default cint annotations of some of the syscalls that were mentioned in the paper for a university project.

I'm wondering where the default annotations for (f)(data)sync, syncfs and msync were set. I sadly can't find anything in any of the kernel patches in the repo. Were the annotations for these syscalls maybe retracted for some reason?

I would appreciate any sort of answer/feedback!

Thanks in advance.

[amytai]

Thanks for your interest!

Default annotations for these syscalls weren't included in our kernel patches. However, you can look at how annotations were added to the read/write syscalls, and port that to the sync family of syscalls.

[HassineRhouma-Myposter]

Alright. Thank you!