Since 2014
Can you Trust your Data?
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Can you Trust your Data?
|
|
| Creator |
Ørbæk, Peter
|
|
| Description |
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 generationframework, respectively. The analyses are proved safe with respect to an instrumented semantics. We explicitly deal with a language with pointers and possible aliasing problems.The constraint based analysis is related directly to the abstract interpretation and therefore indirectly to the instrumented semantics.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1995-01-24
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19926
10.7146/brics.v2i24.19926 |
|
| Source |
BRICS Report Series; No 24 (1995): RS-24 Can you Trust your Data?
BRICS Report Series; No 24 (1995): RS-24 Can you Trust your Data? 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19926/17580
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|