From the 1 of 2 linked papers with an AI index.
1 paper · 1 filter
Mohammad Omidvar Tehrani, Marco Gaboardi, Nick Sumner +1
LEAF is a Rust-native framework that instruments compiled Rust code to capture MIR-level semantics and provide them as an event stream for dynamic analyses such as concolic executi…