Abstract | ||
---|---|---|
We introduce an abstract domain for information-flow analysis of software. The proposal combines variable dependency analysis with numerical abstractions, yielding to accuracy and efficiency improvements. We apply the full power of the proposal to the case of database query languages as well. Finally, we present an implementation of the analysis, called (mathsf {Sails}), as an instance of a generic static analyzer. Keeping the modular construction of the analysis, the tool allows one to tune the granularity of heap analysis and to choose the numerical domain involved in the reduced product. This way the user can tune the information leakage analysis at different levels of precision and efficiency. |
Year | Venue | Field |
---|---|---|
2018 | Trans. Computational Science | Database query,Abstraction,Information leakage,Computer science,Software,Reduced product,Granularity,Spectrum analyzer,Modular construction,Computer engineering |
DocType | Volume | Citations |
Journal | 31 | 0 |
PageRank | References | Authors |
0.34 | 28 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Agostino Cortesi | 1 | 791 | 66.19 |
Pietro Ferrara | 2 | 158 | 20.79 |
Raju Halder | 3 | 84 | 12.67 |
Matteo Zanioli | 4 | 52 | 2.90 |