This is a patched version of the Parity/Openethereum node which we used in our 2020 Usenix Security paper EthBMC. Note this version is based on the most recent stable relase (2.7.2).
We added an additional rpc call which dumps the storage of an account. The main logic can be found here.