Posts with tag “Security”

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.