rllvm: From Capture to Query
rllvm-query adds an analysis step to the rllvm workflow. A real use-after-free in quiche shows what it can answer about a mixed C and Rust program, and what it still cannot.
• By Shengtuo Hu
Posts with tag “rllvm”
See all tags
3 posts in total
Beyond a Single Bitcode File
rllvm 0.5 keeps modules, provenance, and choices intact until an analysis is ready to use them.
• By Shengtuo Hu
Two Ways to Extract Whole-Program Bitcode
rllvm and rules_rllvm solve the same problem from opposite ends: one poses as your compiler, the other asks the build system.
• By Shengtuo Hu