Flow from insecure random number to sensitive sink#346

Merged

MathiasVP merged 11 commits into

mainfrom

users/chanely/insecure-random

Jul 22, 2026

Commits on Apr 9, 2026

PowerShell: Add insecure random number generator query (CWE-338)

chanel-y
and
Copilot
committed
initial query, insecure random to sensitive sinks
chanel-y
committed

Commits on Apr 16, 2026

Move Inline Expectation comments to correct lines

chanel-y
and
MathiasVP
authored
moving the pred.NextBytes(succ) when pred is a System.Random object into MaD summary model
chanel-y
committed