首页 > 专栏 > Embedded in Academia Embedded in Academia 共 10 条资讯 The Gods Pocket Peak Trail 2026-06-27 17:21:18 Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM 2026-06-27 17:21:18 Responsible and Effective Bugfinding 2026-06-27 17:21:18 llvm-reduce 2026-06-27 17:21:18 A Close Look at a Spinlock 2026-06-27 17:21:18 High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM 2026-06-27 17:21:18 Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend 2026-06-27 17:21:18 Why Do Peephole Optimizations Work? 2026-06-27 17:21:18 Dataflow Analyses and Compiler Optimizations that Use Them, for Free 2026-06-27 17:21:18 Looking for Missed Alarm Bugs in a Formal Verification Tool 2026-06-27 17:21:18 相关分类 #!/slash/note #UNTAG (B)(F)uzzing on my world (Hi)story (IN)SECURE Magazine Notification (gdb) break *0x972 - 带鱼博客 BeltfishBlog - ./kwaa.dev .NET Blog .Trash /home/rook1e 00's Adventure 0kami's Blog 0x41414141 in ?? () 0x7f Blog 0xRick Owned Root ! 0xd00's blog 1 Byte 1A23 Blog 1A23 Studio 1Link.Fun 1stwebdesigner 251 2BAB 的工程博客 2ch中文网 360 CERT 360 Netlab Blog - Network Securi 38号车评中心 3o米的微博 404 Media