@article{Ørbæk_1995, title={Can you Trust your Data?}, volume={2}, url={https://tidsskrift.dk/brics/article/view/19926}, DOI={10.7146/brics.v2i24.19926}, abstractNote={A new program analysis is presented, and two compile time methods for this analysis are given. The analysis attempts to answer the question: “Given some trustworthy and some untrustworthy input, can we trust the value of a given variable after execution of some code”. The analyses are based on an abstract interpretation framework and a constraint generation<br />framework, respectively. The analyses are proved safe with respect to an instrumented semantics. We explicitly deal with a language with pointers and possible aliasing problems.<br />The constraint based analysis is related directly to the abstract interpretation and therefore indirectly to the instrumented semantics.}, number={24}, journal={BRICS Report Series}, author={Ørbæk, Peter}, year={1995}, month={Jan.} }