@loke Here is a more complete view. The program I want to profile is binsec, it spawns the process unisim-armsec and exchanges messages with it. I don't really understand why bash is involved.
@otini Is it spawning the process using system()? Then it launches the shell to perform wildcard expansion.
@loke It is done using Unix.open_process, which apparently interprets the command using /bin/sh.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!