Vitaly Chipounov

Closing stale PR.

That's all there is to this PR. This property is to be used by clients that link with the library. The screenshot would show our own code above the get_Timestamp...

@microsoft-github-policy-service agree company="Cyberhaven, Inc"

thanks, please change the commit message to: `libcpu/softmmu_template: fixed symbolic hardware mmio`. - We use a prefix for messages to quickly see which modules the commit affects - `not working`...

What happens if you change the path to IDA in the configuration?

Perhaps you could rewrite it to pass the binary instead of the dir. https://github.com/S2E/s2e-env/blob/master/s2e_env/templates/s2e.yaml#L11

I don't have access to IDA 7, so I can't test. You will have to change the code so that it suits this new version.

``` 8 [State 0] Forking state 0 at pc = 0x56545aecd9f6 at pagedir = 0xdd4c000 state 0 state 2 8 [State 0] Yielding state 0 8 [State 0] Switching from...

Does it crash there?

S2E needs two states to run in concrete mode in order to be merged because it is much simpler to implement. A state in symbolic mode has a KLEE/LLVM stack...