--- title: NDSS 2025 – type++: Prohibiting Type Confusion With... description: type++ is a C++ dialect presented at NDSS 2025 that prevents type confusion vulnerabilities by embedding inline type information into every allocated object... canonical: https://daily.dev/posts/ndss-2025-type-prohibiting-type-confusion-with-inline-type-information-4rgi5b71b twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: NDSS 2025 – type++: Prohibiting Type Confusion With Inline Type Information | daily.dev og:description: type++ is a C++ dialect presented at NDSS 2025 that prevents type confusion vulnerabilities by embedding inline type information into every allocated object... og:url: https://daily.dev/posts/ndss-2025-type-prohibiting-type-confusion-with-inline-type-information-4rgi5b71b og:image: https://api.daily.dev/og/posts/4RGi5b71B.png og:image:alt: NDSS 2025 – type++: Prohibiting Type Confusion With Inline Type Information og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # NDSS 2025 – type++: Prohibiting Type Confusion With Inline Type Information **[Security Boulevard](https://daily.dev/sources/securityboulevard)** · 1 min read · 0 upvotes · 0 comments ## Summary type++ is a C++ dialect presented at NDSS 2025 that prevents type confusion vulnerabilities by embedding inline type information into every allocated object involved in downcasting, not just polymorphic classes. Unlike existing solutions that either incur high runtime overhead or offer partial coverage, type++ enables continuous runtime type checks with negligible performance cost (under 1.2% on SPEC CPU benchmarks). It verifies 90 billion casts — a 23× improvement over state-of-the-art — and discovered 122 type confusion issues in SPEC CPU benchmarks, 62 of which are new. When applied to Chromium, it protects 94.6% of vulnerable classes by modifying only 229 lines out of 35 million, with 0.98% runtime overhead. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [C\+\+26: Reducing undefined behaviour](https://daily.dev/posts/c-26-reducing-undefined-behaviour-tbbsne1hb) · Sandor Dargo · 0 upvotes · 0 comments - ["Five-Point Haskell": Total Depravity \(and Defensive Typing\)](https://daily.dev/posts/five-point-haskell-total-depravity-and-defensive-typing--xwwoyitrt) · Planet Haskell · 0 upvotes · 0 comments --- Tags: [#c++](https://daily.dev/tags/c++) [View this post on daily.dev](https://daily.dev/posts/ndss-2025-type-prohibiting-type-confusion-with-inline-type-information-4rgi5b71b) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"NDSS 2025 – type++: Prohibiting Type Confusion With Inline Type Information","url":"https://daily.dev/posts/ndss-2025-type-prohibiting-type-confusion-with-inline-type-information-4rgi5b71b","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/ndss-2025-type-prohibiting-type-confusion-with-inline-type-information-4rgi5b71b"},"datePublished":"2026-02-25T20:42:21.636Z","dateModified":"2026-02-25T20:42:54.012Z","description":"type++ is a C++ dialect presented at NDSS 2025 that prevents type confusion vulnerabilities by embedding inline type information into every allocated object...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/8fe9eeb967de205fd6743e2535f16178?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/8fe9eeb967de205fd6743e2535f16178?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"Security Boulevard","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"Security Boulevard","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/3613c832180040de8d85bb29f74395be","url":"https://daily.dev/sources/securityboulevard"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/ndss-2025-type-prohibiting-type-confusion-with-inline-type-information-4rgi5b71b","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"c++","timeRequired":"PT1M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Security Boulevard","item":"https://daily.dev/sources/securityboulevard"},{"@type":"ListItem","position":3,"name":"NDSS 2025 – type++: Prohibiting Type Confusion With Inline Type Information"}]} ```