Masanori Misono, Masahiro Ogino, Takaaki Fukai, Takahiro Shinagawa.
FaultVisor2: Testing Hypervisor Device Drivers against Real Hardware Failures.
In Proceedings of the 10th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2018), Dec 2018. Acceptance Ratio: 19.8%. Best Paper Award.
FaultVisor2: Testing Hypervisor Device Drivers against Real Hardware Failures
1. 2
2 2 2
2 2
,1 1 , ,1 18 - 1 11 C 1 1 18 8 1 1E1
8 0 F F 0 F C C21
8 8 ))) 1 1 ( 3 ( C ( C 38 F 1 3 3
( C (
2. • 28 8 8 B H 8 D 89B
• 1H 8BB D BE 9 8 H E E 8 ED E C8D H H
• 1M8C B
• .8
• 3E 8D ' 25 8 B H E ( 8 H 658D 8B 7
• .8 9B8
• ) 200 8 B H E ( 8 H 4E 8B ,'' 200H
BE EC ,
19. • -
void func(void) {
int x = inb(…); // x is symbolic
if (x < 10) return -EIO;
else return 0;
}
void func(void) {
int x = inb(…); // x is symbolic
if (x < 10) return -EIO;
else return 0;
}
void func(void) {
int x = inb(…); // x is symbolic
if (x < 10) return -EIO;
else return 0;
}
実行パスの分岐
シンボルxの制約条件
• - -
A 1 8
A' -1 -
A -1 8 1 - 8 1
9 - -
1
20. 201 . .02,
0 D0
'0
C 2 C
'0 8 2
F 0 0
F- D 0
0 1 0 C
D
C
41. • . HE
• 5068 -3 )
• 4 1 1 E ' 8HI H ) '
• -M C I 1 E
• E E8 H I CE IE CE
• 3I8 I 8 I I E 8 H 8 E E8 H
• 8 E H I I EEI I C8 8 E I IE I HI
, E ,EC (
42. N VH O (
5PUIN B)( LX FI 3F1 5
5PUIN ) (7 I 3FI 5
2VTL P L L 0SLWI 5 OIO S WTN 5I 0
7 5 8I E -50 7TLDOS' -50 G PUS NNIS
4 RISWLT S 8AESI 1 BL ) 861SPIN .VLNH )' )'
8 UKISF ESH - GM C 1XUSIOI(
5PUIN SI L K RISUKSIEHLP HLTEFNIH
-8 00 ( ''84Z 3. X
3VITU FVPUV ( 7LPVX MISPIN ( ) '
53. • LF D G 0 L D 8D L E MK 3MR ?D ME 1
0DL D 5 CT D 3 H R D - 6222 1 :
• . 7 DHL / BIA D 5 C 1 HSD EM
G N , TTT A BIA D BMK A MF G C C HSD EM
• IDIM GH D D HLF 1DSHBD 1 HSD .F HL 5 CT D
3 H R D HL D 2LSH MLKDL .0 .0
0 MRC0MK '