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 274 comments of DavidKorczynski

Blocked branch hyperlink in OpenSSL report

Thanks a lot for the thorough report @wenta0g !! 1) Ack on the folder issue -- I'll see what goes on there as it's clearly a bug. 2) About the...

Use introspector to retrieve context.

Would it be smarter to wait for an API that gives types recursively in FI? I think we should be able to this ready for Monday 11th

Use introspector to retrieve context.

Sounds good -- I'll aim to have something ready on FIs side for then.

Use introspector to retrieve context.

> Should we instead see if we can just include the correct header files instead? It seems like trying to recursively expand/inline the necessary definitions can get hairy very quickly....