BlueRock BRiCk
0.5.0

Table of Contents

  • Language Support
  • Evaluation
  • Undefined behavior and optimizations
  • Pointers and pointer provenance
  • Object representation, layout and padding
  • Assembly Interoperation
  • Code Documentation
  • Proof Examples
  • Related work and bibliography
  • Acknowledgements
BlueRock BRiCk
  • Search

© Copyright 2021-24 BlueRock Security.

Built with Sphinx using a theme provided by Read the Docs.