Home

GitHub License GitHub Tag

RESOLVE is an LLVM-based software security tool designed to anticipate, triage and remediate CVEs. It combines binary metadata based on enhanced software bills-of-material, or eSBOMs, with runtime components and program analysis tools that together speed up the process of identifying and remediating bugs.

This documentation website can guide you through the concepts, components, and installation of RESOLVE. It also contains full end-to-end examples for input synthesis, reachability and remediation.