Exploiting Undefined Behaviors For Efficient

Symbolic execution is an important and popular technique used in several software engineering tools for test case generation, ...

Exploiting Undefined Behavior

This is a video that will talk about some less know things in the programming language C, and how these things impact ...

http://cppnow.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: ...

This paper studies an emerging class of software bugs called optimization-unstable code: code that is unexpectedly discarded by ...

Slides: https://github.com/boostcon CppNow Website: https://www.cppnow.org​ CppNow Twitter: @CppNow​ ---

[PriSC'23] SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine Jérémy Thibault, ...

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: ...

Purging

https://cppcon.org/ --- Case Study: Purging

Website: http://www.copperspice.com Downloads: http://download.copperspice.com Github: http://github.com/copperspice ...

This talk will focus on trends in the last few years including (1) increased willingness of compilers to

This talk will explore the magic of