DavidKorczynski

icon indicating a website link https://twitter.com/davkorcz icon indicating an email [email protected]

icon company https://adalogics.com icon location Oxford, UK icon location Researcher at @AdaLogics. Software security, analysis, AI and verification - PhD in program analysis from Oxford University

Results 312 comments of DavidKorczynski

OpenSSL Fuzz Introspector build timeout

`unblob` is not resolved, but the problem here looks to be a failing coverage build

bitcoin-core: Enable libc++ "Debug" hardening mode

Apologies for the delay! Will land this once the CI is green!