Advertisement ยท 728 ร— 90

Posts by David Korczynski

OSS-Fuzz integrations via agent-based build generation OSS-Fuzz integrations via agent-based build generation.

Automating OSS-Fuzz integrations using an agentic approach to build generation: blog.oss-fuzz.com/posts/oss-fu...

Fuzzing at scale requires a solution for build script generation, and an LLM-based agentic approach looks promising for this. It too works well with OFG's harness gen capabilities ๐ŸคŸ

10 months ago 1 0 0 0

Weโ€™re hiring Vulnerability Researchers at @infosectcbr.bsky.social that specialise in Linux, OS kernels, Android, and embedded/IoT. With a world class hardware lab, come join our friendly and collaborative team, focusing on research against leading technologies. DM for details.

11 months ago 6 2 0 1
Post image

Awesome job by my PhD student @gabriel-sherman.bsky.social presenting his work on Oracle-guided C Fuzzing Harness Generation! @icseconf.bsky.social

TLDR; 41 new bugs (40 now patched)... with 0 false positives!

11 months ago 8 1 1 0
Preview
GoLibAFL โ€” Fuzzing Go binaries using LibAFL Nils Ollrogge, Bruno Produit

Using #LibAFL to fuzz @golang.org binaries with a proper modern fuzzer ๐Ÿ“ˆ๐Ÿ“ˆ

Super cool stuff by @srlabs.bsky.social

www.srlabs.de/blog-post/go...

1 year ago 15 4 0 0

Slava Ukraini ๐Ÿ‡บ๐Ÿ‡ฆ

1 year ago 34867 4546 397 97
Post image

#FUZZING'25 CALL FOR PAPERS
โ”€โ”€โ”€โ”€โ”€โ”€
โœจ New OC members:
* Ruijie Meng (@ruijiemeng.bsky.social; NUS)
* Rohan Padhye (@rohan.padhye.org; CMU).
โœจ New paper type: Fuzzing Nuggets (short papers).

๐Ÿ”— fuzzingworkshop.github.io
๐Ÿ“… 20.March (Submission)
๐Ÿ“… 17.April (Notification)
๐Ÿ“… 28.June (Workshop)

1 year ago 18 11 1 0
Minimal LLM-based fuzz harness generator

Auto generating #fuzzing harnesses by way of program analysis and #LLMs! New blog post "Minimal LLM-based fuzz harness generator": adalogics.com/blog/minimal...

We show how you can generate a sophisticated fuzz harness synthesis tool with a few lines of code.

1 year ago 0 0 0 0

Yeah, it's relatively new -- we've worked 2-3 months on it from starting with tree-sitter, but have made good strides. FI already supports C/C++/Rust/golang and java. Mileage may vary between languages, but we're going to try and see how far tree-sitter can get us. More posts coming up shortly!

1 year ago 1 0 1 0

TIL Fuzz Introspector has moved to tree-sitter and a Python library. Cool!

1 year ago 5 2 1 0
Advertisement
Fuzz Introspector: enabling rapid fuzz introspection tool development

"Fuzz Introspector: enabling rapid fuzz introspection tool development" -- a new blog post on Fuzz Introspector and how it is moving into supporting analysis as a pure python library. #fuzzing #program-analysis See the blog post: adalogics.com/blog/fuzz-in...

1 year ago 3 1 0 1
The Virtue of Simplicity On January 24, 2025, I was invited to give a commencement speech for the graduates of Passau University. My speech focused on the โ€œvirtue of simplicityโ€, reflecting on the role of simplicity in scienc...

Yesterday, I gave a commencement speech for the graduates of #Passau University. "The virtue of simplicity" reflected on the role of simplicity in science, both personal and universal, and how it is important for the future career of graduates. Enjoy! andreas-zeller.info/2025/01/25/T...

1 year ago 13 2 1 0
Senior Security Engineer, Security Research โ€” Google Careers

Project Zero is hiring ๐Ÿ‘€
No need to tell y'all that the team is awesome

1 year ago 47 20 0 0

โ€œAFLNet Five Years Later: On Coverage-Guided Protocol Fuzzingโ€

A look back at the last five years since the release of AFLNet, โ€œthe first code- and state-coverage-guided protocol fuzzer.โ€

arxiv.org/abs/2412.20324

1 year ago 9 4 0 0