Embedded in Academia
Read post

High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM – Embedded in Academia

This post discusses the use of mutation-based fuzzing for LLVM optimization passes. It introduces a custom mutator for LLVM IR and describes the results of fuzzing with this mutator. Bugs found using alive-mutate are also highlighted.

    #general-programming
Jan 08, 2024•6m read time•From blog.regehr.org
Post cover image
3 Impressions
Embedded in Academia's image
Embedded in Academia

Regehr's platform covers topics related to computer science, programming languages, and software en...

8 Followers

•

0 Upvotes

Would you recommend this post?

Copy link
WhatsApp
Facebook
X
New Squad
  • © 2026 Daily Dev Ltd.
  • Guidelines
  • Explore
  • Tags
  • Sources
  • Squads
  • Leaderboard