Skip to content

Validate FlatZinc constraint arity before indexing arguments (heap OOB read)#5228

Open
evilgensec wants to merge 3 commits into
google:stablefrom
evilgensec:fix-flatzinc-arity-oob
Open

Validate FlatZinc constraint arity before indexing arguments (heap OOB read)#5228
evilgensec wants to merge 3 commits into
google:stablefrom
evilgensec:fix-flatzinc-arity-oob

flatzinc: DCHECK argument arity in the CP-SAT extractor (review)

71a05be
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded Jun 18, 2026 in 7s

✅ All contributors are covered under a CLA with Google

See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

Details

The following contributors were found for this pull request:

71a05be Author: @evilgensec <evi******sec​@gmail.com>

(Only the first commit for a unique contributor is listed.)