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 238 issues of DavidKorczynski

et-xmlfile: initial integration

underscore: initial integration

coveragepy: initial integration

nghttp2: update build to fit new fuzzer

Keeping this in draft until upstream PR is reviewed, some things will have to change once the upstream PR is merged.

pem: initial integration

py-serde: initial integration

infra: add support for netdriver fuzzing with honggfuzz

3 comment

Adds an example with the mongoose webserver

infra: add support for non-persistent mode AFL

2 comment

Also adds an example of using it.

validator-htmlparser: initial integration

Java html-parser used by Mozilla https://hg.mozilla.org/projects/htmlparser/

rpm: initial integration