Abstract | ||
---|---|---|
In this paper, we introduce Sails, a new tool that combines Sample, a generic static analyzer, and a sophisticated domain for leakage analysis. This tool does not require to modify the original language, since it works with mainstream languages like Java, and it does not require any manual annotation. Sails can combine the information leakage analysis with different heap abstractions, inferring information leakage over programs dealing with complex data structures. We applied Sails to the analysis of the SecuriBench-micro suite. The experimental results show the effectiveness of our approach. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2245276.2231983 | SAC |
Keywords | Field | DocType |
mainstream language,different heap abstraction,new tool,inferring information leakage,generic static analyzer,leakage analysis,securibench-micro suite,complex data structure,static analysis,information leakage analysis,shape analysis,complex data,pointer analysis | Pointer analysis,Programming language,Information leakage,Suite,Leakage (electronics),Abstract interpretation,Computer science,Static analysis,Heap (data structure),Java | Conference |
Citations | PageRank | References |
18 | 0.69 | 21 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Matteo Zanioli | 1 | 52 | 2.90 |
Pietro Ferrara | 2 | 158 | 20.79 |
Agostino Cortesi | 3 | 791 | 66.19 |