Feature Request: Symbolic File Existence Exploration and stat Structure Fix

Feature Request: Symbolic File Existence Exploration and stat Structure Fix: a task in LegoFlow-SWE (Harbor dataset). When symbolically executing binaries that perform file-system operations ( stat , fstat , open , fopen , fdopen ), angr currently only explores a single execution path based on a…

The task

When symbolically executing binaries that perform file-system operations (`stat`, `fstat`, `open`, `fopen`, `fdopen`), angr currently only explores a single execution path based on a global “files exist” assumption.

Part of Lego-X/LegoFlow-SWE.