Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • T Tor Browser
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 1,285
    • Issues 1,285
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 6
    • Merge requests 6
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • The Tor Project
  • Applications
  • Tor Browser
  • Issues
  • #12420
Closed
Open
Created Jun 18, 2014 by Georg Koppen@gkDeveloper

Investigate deploying STACK to check for optimization-unstable code

Optimization-unstable code (code that is unexpectedly eliminated by compiler optimizations due to undefined behavior in the program) can lead to serious bugs in programs. We should think about deploying STACK, which helps to detect this class of bugs, when building our hardened bundles at least. Relevant reading material:

http://kqueue.org/blog/2013/09/17/cltq/ http://css.csail.mit.edu/stack/ http://pdos.csail.mit.edu/papers/stack:sosp13.pdf http://pdos.csail.mit.edu/papers/ub:apsys12.pdf

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking