DWARF CFI Checker prototype#148296

Draft

amsen20 wants to merge 22 commits intollvm:mainfrom

amsen20:cfi-validation-prototype

Commits on May 6, 2025

Forward CFI directives alongside their associated instruction to a simple CFI analysis
Amirhossein Pashaeehir
committed
Create a new CFI analysis for each dwarf separately
Amirhossein Pashaeehir
committed
Separate the logic and display
Amirhossein Pashaeehir
committed

Commits on May 9, 2025

Compile llvm mc depending on bolt
Amirhossein Pashaeehir
committed

Commits on May 13, 2025

Extract semantic info on MCInst from bolt
Amirhossein Pashaeehir
committed
Typo in evaluateStackOffsetExpr doc
Amirhossein Pashaeehir
committed
Add a DS to keep track of each register CFI state
Amirhossein Pashaeehir
committed

Commits on May 14, 2025

Check if the CFA change is correct or not
Amirhossein Pashaeehir
committed
Add the CFI validation as a option to llvm-mc tool
Amirhossein Pashaeehir
committed
Provide the directives as an arrayref instead of index range
Amirhossein Pashaeehir
committed
Remove TODOs
Amirhossein Pashaeehir
committed
Wrap all the MCPB info needed into a ExtendedMCInstrAnalysis class
Amirhossein Pashaeehir
committed
Use extended MCAnalysis instead of MCplus (directly)
Amirhossein Pashaeehir
committed

Commits on May 19, 2025

Make the CFA checker to first generate, if not matched check the Read/Write conditions
Amirhossein Pashaeehir
committed

Commits on May 20, 2025

Check register states as well
Amirhossein Pashaeehir
committed
Process prologue as well
Amirhossein Pashaeehir
committed
Ignore flag registers as well
Amirhossein Pashaeehir
committed
Enable dump
Amirhossein Pashaeehir
committed
Enable getting flag register through extended MCInstrAnalysis
Amirhossein Pashaeehir
committed
Move the isolated MC semantic methods to ExtendedMCAnalysis
Amirhossein Pashaeehir
committed

Commits on May 21, 2025

Remove unused includes
Amirhossein Pashaeehir
committed

Commits on May 22, 2025

Test cfi validator on following cases:
Amirhossein Pashaeehir
committed