backtracer sometimes needs information about policies or context that could be provided by iOracle.

[alecdeshotels]

E.g., resolving a _getpwnam call on "mobile". To know what the result of this call will be, the system needs to have information about the etc/passwd file which could be provided by iOracle. If we can find some other situations like this, we might be onto another way to apply iOracle while collecting much more relevant data to make queries on. This could be a new paper.