3 ms·

The suggestion has the right idea, but the wrong implementation. The developer should be able to mark certain data as "secure" so the security of the data trave

by cheez 12y ago

The suggestion has the right idea, but the wrong implementation. The developer should be able to mark certain data as "secure" so the security of the data travels along the type system. Botan, for example, has something called a "SecureVector" which I have never actually verified as being secure, but it's the same idea.

cperciva 12y ago
This was my initial idea, but talking to compiler developers convinced me that the dataflow analysis needed for this would be tricky. They were much happier with the idea of a block-scope annotation.
- cheez 12y ago
  Similar data-flow analysis techniques as volatile.