fkie-cad / cwe_checker

cwe_checker finds vulnerable patterns in binary executables
https://docs.cwe-checker.io
GNU Lesser General Public License v3.0
1.1k stars 115 forks source link

Check for CWE-337 #439

Closed PascalBeyer closed 7 months ago

PascalBeyer commented 7 months ago

Implements a check for CWE-337: Predictable Seed in Pseudo-Random Number Generator (PRNG)

The check works by reusing the taint-tracking code from the check for CWE-467 to track return values of "source" functions (e.g.: time) to arguments of "sink" functions (e.g: srand).