Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Secure by Compilation: Leveraging the C++ Type System, Constexpr, and AST for Static Vulnerability Detection.

Secure by Compilation: Leveraging the C++ Type System, Constexpr, and AST for Static Vulnerability Detection.

Robinson, Elmer
Malcom, Denton

Paperback

ProgrammingComputer Security

ISBN13: 9798187325337
Publisher: Independently Published
Published: Jul 14 2026
Pages: 262
Weight: 0.93
Height: 0.55 Width: 6.69 Depth: 9.61
Language: English
Stop waiting for runtime to catch catastrophic vulnerabilities. Make invalid states unrepresentable.

Shift-left security isn't just a CI/CD pipeline configuration, it's a compiler directive. In modern systems engineering, discovering a memory vulnerability, buffer overflow, or state machine violation at runtime is a failure of design. Secure by Compilation is the definitive engineering manual for weaponizing the modern C++ compiler to destroy vulnerabilities before the binary is ever built.

This book skips the basic syntax and goes straight into hardcore bare-metal and enterprise-grade security architecture. You will learn how to abuse the C++ type system, leverage template metaprogramming, and utilize compile-time execution (constexpr and consteval) to guarantee secure logic at zero runtime cost.

Furthermore, we dive deep into the compiler itself. You will master the Abstract Syntax Tree (AST) to build custom static analysis tools that enforce your organization's exact security invariants.

Also in

Programming

View All