Fixes.
openat() OK.
Initial revision.
Better analysis of unfinished tasks.
Better handling of socket() calls.
Detect unfinished tasks.