cvehound-spatch 1.3.2.post1

The same coccinelle 1.3.2 build as 1.3.2 — no packaging changes — rebuilt from
evdenis/coccinelle@48bf7b1
to pick up a second carried patch.

Fixed: hitting max_cnf disabled the file prefilter entirely. When the CNF
conversion in interpret_cocci_git_grep exceeded max_cnf it gave up and
returned "no query", which worth_trying reads as "try every file" — the
semantic patch was then run against the whole tree with no prefiltering at all.
It now degrades to a one-clause query over the atoms, which is still a sound
filter because the formula is negation-free. Submitted upstream as
coccinelle#420.

The wheel therefore carries two patches on top of coccinelle 1.3.2: the
satLabel caching fix (coccinelle#417)
that was already in 1.3.2, and this one.

Wheels for Linux x86_64 and aarch64 (manylinux_2_28). Needs pip 20.3 or newer to
install, and diff on the system at run time.

pip install 'cvehound[spatch]'