CodeVetter
← All X-Rays
CodeVetter · local evidence export

Insecure pickle deserialization in Python

codevetter-public-benchmark/py-insecure-deserialization

detected · high confidence

Verification

Code reviewcompleted

Qualified static finding recorded.

Executable testnot verified

No exact-current runtime evidence is included.

Audiencenot run

No audience validation occurred.

Finding

highbenchmark ground truth

insecure deserialization

pickle.loads is called on a user-supplied base64 blob. pickle can execute arbitrary code during deserialization, so untrusted input lets an attacker run any payload on the server.

source.py:9