Renata Hodovan (@RenataHodovan) - Twitter Profili

Sabitlenmiş Tweet

Renata Hodovan@RenataHodovan·2 Şub

If you are interested in grammar-based #fuzzing, you should have a look at #Grammarinator 26.1, which now comes with native #libFuzzer and #AFL++ integration, besides a bunch of other cool new stuff! Feedback and bug reports are welcome! Happy fuzzing! 🏖️ github.com/renatahodovan/…

English

1

9

46

3.4K

Renata Hodovan@RenataHodovan·3 Şub

@mo_rifat Thanks a lot, I'm really glad that you like it! :)

English

0

1

27

Mohammad Rifat Arefin@mo_rifat·2 Şub

@RenataHodovan From experience, it’s been a fantastic tool!

English

1

0

1

93

Renata Hodovan@RenataHodovan·2 Şub

If you are interested in grammar-based #fuzzing, you should have a look at #Grammarinator 26.1, which now comes with native #libFuzzer and #AFL++ integration, besides a bunch of other cool new stuff! Feedback and bug reports are welcome! Happy fuzzing! 🏖️ github.com/renatahodovan/…

English

1

9

46

3.4K

Renata Hodovan retweetledi

Yannic Noller (@yannicnoller.bsky.social)@yannicnoller·30 Oca

We're excited to announce our second keynote speaker for the #FUZZING'26 workshop (part of @NDSSSymposium @ San Diego, CA, USA): Sergej Dechand, CEO and Co-Founder of Code Intelligence (@CI_Fuzz)! He will present the fuzzing road ahead of us: "Where the Fuzz Are We Going?"

Yannic Noller (@yannicnoller.bsky.social) tweet media

English

0

5

11

1.9K

Renata Hodovan retweetledi

ISSTA Conference@issta_conf·21 Şub

📣 Check out our workshops! 💡 Topics: CPAchecker, EXPlainable and REliable Systems, fuzzing and LLM supply chain 📅 Submission in March CPA'25: cpa.sosy-lab.org/2025 EXPRESS'25: conf.researchr.org/home/issta-202… FUZZING'25: fuzzingworkshop.github.io LLMSC'25: llmsc.github.io

English

0

1

3

549

Renata Hodovan retweetledi

Marcel Böhme👨‍🔬@mboehme_·17 Şub

#FUZZING'25 CALL FOR PAPERS ────── ✨ New OC members: @RuijieMeng (NUS) + Rohan Padhye (@moarbugs; CMU). ✨ New paper type: Fuzzing Nuggets (short papers). 🔗 fuzzingworkshop.github.io 📅 20. March (Submission) //cc @YannicNoller (RUB), László Szekeres (@lszekeres; Google)

Català

2

18

53

7.5K

Renata Hodovan retweetledi

Abhishek Arya@infernosec·5 Haz

You can use #FuzzBench oss_fuzz_corpus flag in experiment.yaml to try fuzzing engine improvements on latest OSS-Fuzz saturated corpora for 24 benchmarks. We also make the saturated corpora for 1200+ OSS-Fuzz projects free for community research at GCS location: "gs://{project}-backup.clusterfuzz-external.appspot.com/corpus/libFuzzer/{fuzz_target}/public.zip" (e.g. project=curl, fuzz_target=curl_fuzzer_http). Break the fuzzing coverage barrier and share your research at fuzzingworkshop.github.io

English

1

8

18

6.7K

Renata Hodovan retweetledi

Marcel Böhme👨‍🔬@mboehme_·5 Haz

FUZZING'24 Submission website is open! 📝 fuzzing24.hotcrp.com (21 June AoE). 🔗 fuzzingworkshop.github.io (16 Sep @ Vienna). 🧑‍🏫 Preregistration-based publication process. ⭐ Accepted papers invited as @ACM_TOSEM Registered Reports //@YannicNoller (RUB/SUTD) @LSzekeres (Google)

English

1

20

41

19.1K

Renata Hodovan@RenataHodovan·1 Kas

Happy Halloween! 👻

English

0

6

277

Renata Hodovan@RenataHodovan·16 Tem

👋 Say hello to the new release of #grammarinator! 🚀 It took 4 years to arrive, but now it's finally here, packed with cool new features, detailed API doc, and a comprehensive user guide with hands-on examples! 📚 #NewRelease #fuzzer github.com/renatahodovan/…

English

0

4

25

3.3K

Renata Hodovan retweetledi

Marcel Böhme👨‍🔬@mboehme_·2 May

📢 One week left to submit your Registered Reports! * 8 pages full paper, sans experiments. * Accepted papers invited to ACM TOSEM (Registered Papers track). Submit 8. May @ fuzzingworkshop.github.io //@yannicnoller @baishakhir @lszekeres

Marcel Böhme👨‍🔬@mboehme_

📢 FUZZING 2023 will be co-located with @ISSTA_conf in Seattle (17-21 July)! Submission deadline and more details coming soon. Organized by @lszekeres, @baishakhir, @yannicnoller, and YT. Planning to maintain the preregistration-based model and improve process and timeline.

English

1

12

25

8.7K

Renata Hodovan retweetledi

Marcel Böhme👨‍🔬@mboehme_·20 Şub

📢 FUZZING 2023 will be co-located with @ISSTA_conf in Seattle (17-21 July)! Submission deadline and more details coming soon. Organized by @lszekeres, @baishakhir, @yannicnoller, and YT. Planning to maintain the preregistration-based model and improve process and timeline.

English

1

20

65

33.9K

Renata Hodovan@RenataHodovan·21 Ara

It's always a pleasure to see when our research project is used in the wild!

Jevin Sweval@jevinskie

Thank's to @RenataHodovan's awesome picire and picireny Delta Debugging tools, I was able to run a simple auto testcase reduction with Verilator. Now to track down the use-after-free I'm getting on the latest git Verilator when I try to run litex_sim! github.com/jevinskie/delt…

English

0

5

560

Renata Hodovan@RenataHodovan·21 Ara

@jevinskie @vincevincedani @jevinskie: On the other hand, #picireny performs this repetition as default already, hence there is no need to execute it multiple times.

English

0

1

17

Renata Hodovan@RenataHodovan·21 Ara

@jevinskie @jevinskie Funnily, this is the topic of a recent publication of one of my college (@vincevincedani): researchgate.net/publication/36… . I'm sure that the text will be available soon, as well as the implementation of the iterative picire will land into the master.

English

1

0

1

18

Jevin Sweval@jevinskie·17 Ara

Cool, using picire I got it down to about 30 lines. Oddly I was able to re-reduce the case 8 times. After hand reduction I get this crasher: module sim (); wire [2:0] c_b_a; wire a; wire b; wire c; assign c_b_a = {c, {b, a}}; endmodule

Jevin Sweval@jevinskie

Thank's to @RenataHodovan's awesome picire and picireny Delta Debugging tools, I was able to run a simple auto testcase reduction with Verilator. Now to track down the use-after-free I'm getting on the latest git Verilator when I try to run litex_sim! github.com/jevinskie/delt…

English

1

0

388

Renata Hodovan@RenataHodovan·21 Ara

@jevinskie @jevinskie: I'm glad that you found #picire/#picireny useful in reducing the repro of a serious issue in Verilator.

English

0

1

72

Jevin Sweval@jevinskie·16 Ara

Thank's to @RenataHodovan's awesome picire and picireny Delta Debugging tools, I was able to run a simple auto testcase reduction with Verilator. Now to track down the use-after-free I'm getting on the latest git Verilator when I try to run litex_sim! github.com/jevinskie/delt…

English

2

0

6

1.7K

Renata Hodovan@RenataHodovan·21 Ağu

@mboehme_ Sounds strikingly familiar.

English

0

Marcel Böhme👨‍🔬@mboehme_·19 Ağu

My normal working mode: 1. Get awesome idea. Work *obsessively* on this idea for 2-3 months ignoring all non-urgent / non-critical items until I absolutely have to work through my backlog. 2. Leave idea unfinished. Work on my backlog. 3. Go back to 1. .. and I think thats okay.

English

3

0

42

0

Renata Hodovan@RenataHodovan·5 Tem

@buherator @acm_tosem Thanks! :)

English

0

@[email protected]@buherator·4 Tem

@RenataHodovan @acm_tosem Congrats :)

English

1

0

1

0

Renata Hodovan@RenataHodovan·3 Tem

Reviewing for #FUZZING22 / @acm_tosem with a week old subreviewer 🧐👶

English

4

0

52

0

Renata Hodovan@RenataHodovan·5 Tem

@lszekeres @acm_tosem Köszönjük szépen! :)

Magyar

0

1

0

László Szekeres@lszekeres·4 Tem

@RenataHodovan @acm_tosem That's the spirit! :) Üdv kis subreviewer! :) Gratulálok, és sok örömöt az egész családnak!

Magyar

1

0

1

0

Renata Hodovan@RenataHodovan·5 Tem

@mboehme_ @acm_tosem Thank you! :)

English

0

Marcel Böhme👨‍🔬@mboehme_·3 Tem

@RenataHodovan @acm_tosem Welcome little one! May you touch dragon flies & stars, and grow up with gracious hearts. Warmest congratulations, Renata and family!

English

1

0

6

0

Renata Hodovan

Keşfet