U.S. Patent No. US 12,236,262 -- "Machine Learning Technique for Efficiently Scheduling Tasks for Large-Scale Analysis of Binary Executables." ...

Joint and Inter-Component Analysis: Extending reachability computations across multiple executables or libraries, revealing cross-binary vulnerabilities that static tools often miss.