Maybe use `strace`'s source for this. Ideally, the analysis should report their arguments similarly to `strace` output.