David Manouchehri

If anyone else already has a Apple developer account, they could likely submit it themselves and get it signed. You need to go to the `Developer ID Certificate for Signing...

Thanks Bernd; my first guess was to try `relaxed_permissions` as well, but it doesn't quite work the way I was hoping for. I'm still unable to touch/modify files without an...

Yep, you got it. A lot of programs halt on `Permission denied`. Having an option to return an empty file or a no such file error would probably fix most...

Any progress on this? :)

Oh nice! Is there a fork or WIP script anywhere?

@brimston3 Does tsget exist in Ubuntu 18.04 anymore? Can't find it anywhere.

HoRNDIS works on 10.12.4 for me. ```bash brew cask install horndis sudo kextload /Library/Extensions/HoRNDIS.kext ```

Fish wasn't able to reproduce this issue. Will reopen after I confirm if it's not just my system.

Reopening, reproducible on a different VM (new install with angr-dev's setup.sh). ``` (angr) dave@xen16:~/angr-doc/examples/catalyst# python solve.py WARNING | 2017-02-03 20:13:52,705 | angr.project | Re-hooking symbol puts WARNING | 2017-02-03 20:13:52,706...

Thank you for the information! > Rosetta will still be required as some parts of the CodeQL engine that run outside Java will still not be natively-compiled. However, query compilation...