Brodes/guard flow parsing#17907

Closed

bdrodes wants to merge 10 commits intogithub:mainfrom

microsoft:brodes/guard_flow_parsing

Commits on Nov 4, 2024

Adding test cases for boolean flow.
bdrodes
committed
Adding expected false positive conditions for MissingCheckScanf once boolean flow logic is completed.
bdrodes
committed
Addingg expected file for test changes for MissingCheckScanf before changes made to guards (baseline expected file).
bdrodes
committed
IRGuard overhaul to parse conditions using GVN.
bdrodes
committed
Updating expected files for new IRGuard changes.
bdrodes
committed
Updating IRGuards.qll getDerivedInstruction. Always get the deriving instruction if one exists.
bdrodes
committed
Revert "Updating IRGuards.qll getDerivedInstruction. Always get the deriving instruction if one exists."
bdrodes
committed

Commits on Nov 7, 2024

getDerivedInstruction uses getSourceValue()
bdrodes
committed

Commits on Nov 11, 2024

Adding conversions to the getDerivedInstruction predicate. Changed all uses of getDerivedInstruction to occur in 'base cases", specially only the compares_lt compares_eq and unary_compares_eq predi…
bdrodes
committed

Commits on Nov 13, 2024

Misc. poc updates to address performance issues with wireshark.
bdrodes
committed