---
id: 1975
title: "Performing Concolic Execution on Cryptographic Primitives"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2019/04/01/performing-concolic-execution-on-cryptographic-primitives/"
published_at: "2019-04-01T11:50:55Z"
tags: ["cryptography", "symbolic-execution", "manticore", "unit-testing", "concolic-testing"]
phying_url: "https://phying.com/item/1975"
lang: en
---

# Performing Concolic Execution on Cryptographic Primitives

## Summary

Sandshrew, a Manticore-based concolic testing prototype, analyzes C crypto primitives under mixed symbolic and concrete execution, building strong unit tests that catch bignum and implementation bugs.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2019-04-01T11:50:55Z
- **Original:** https://blog.trailofbits.com/2019/04/01/performing-concolic-execution-on-cryptographic-primitives/
- **Phying News:** https://phying.com/item/1975