{"uuid": "bda16d7a-1f7f-42cc-919d-09e419978390", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "9f56dd64-161d-43a6-b9c3-555944290a09", "vulnerability": "CVE-2021-37678", "type": "seen", "source": "https://t.me/cissp/4117", "content": "exploit\nCVE-2021-37678:\nTensorFlow/Keras <2.6.0 - Arbitrary code execution due to YAML deserialization\nhttps://github.com/tensorflow/tensorflow/security/advisories/GHSA-r6jx-9g48-2r5r\n\nUsing KLEE on Rust-for-Linux:\nPart 1 - Checked properties\nhttps://project-oak.github.io/rust-verification-tools/2021/08/22/rust-on-linux-1.html\nPart 2 - Detailed build instructions for using KLEE with the Rust for Linux codebase\nhttps://project-oak.github.io/rust-verification-tools/2021/08/23/rust-on-linux-2.html\nPart 3 - Using the verification-annotations library\nhttps://project-oak.github.io/rust-verification-tools/2021/08/24/rust-on-linux-3.html", "creation_timestamp": "2026-09-01T17:00:42.043384Z"}