mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Check maximum amount of arguments to SYS_futex.

Browse Source
This commit is contained in:
Mara Bos 2020-10-02 10:46:57 +02:00
parent 1c582e7c96
commit c2fa27c3b8
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/shims/posix/linux/sync.rs
View File

@ -7,8 +7,11 @@ pub fn futex<'tcx>(
args: &[OpTy<'tcx, Tag>],
dest: PlaceTy<'tcx, Tag>,
) -> InterpResult<'tcx> {
if args.len() < 4 {
throw_ub_format!("incorrect number of arguments for futex syscall: got {}, expected at least 4", args.len());
// The amount of arguments used depends on the type of futex operation.
// Some users always pass all arguments, even the unused ones, due to how they wrap this syscall in their code base.
// Some other users pass only the arguments the operation actually needs. So we don't use `check_arg_count` here.
if !(4..=7).contains(&args.len()) {
throw_ub_format!("incorrect number of arguments for futex syscall: got {}, expected between 4 and 7 (inclusive)", args.len());
}
let addr = args[1];
let addr_scalar = this.read_scalar(addr)?.check_init()?;