jarsp
jarsp
Hi, as someone who has never used Windows for any sort of development (and not much node) I had some issues with attempting to run mtgatracker from source, primarily due...
Hello, I've followed the instructions to compile the instrumented toolchain on a Ubuntu 14.04.6 VM, and I am trying to get it to compile and run the SPEC CPU2006 benchmarks....
The `_concretize` function in [concretization_strategies/single.py](https://github.com/angr/simuvex/blob/master/simuvex/concretization_strategies/single.py) checks for exactly 0 solutions instead of exactly 1 solution: Original: ``` def _concretize(self, memory, addr): addrs = self._eval(memory, addr, 2) if len(addrs) == 0:...